Skip to content

ppx v1.2.4

Compare
Choose a tag to compare
@wfondrie wfondrie released this 23 Nov 20:28
· 11 commits to master since this release

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.