Skip to content

ppx v1.2.4

Choose a tag to compare

View all tags
@wfondrie wfondrie released this 23 Nov 20:28
· 15 commits to master since this release
v1.2.4
0c758f6

Added

  • New --timeout parameter for the command line interface, enabling the custom
    timeout durations introduced in v1.2.0
  • New --version parameter for the command line interface to get the version
    number.
Assets 2
Loading