ppx v1.2.4
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.
--timeout
parameter for the command line interface, enabling the custom--version
parameter for the command line interface to get the version