alainfrisch/ppx_tools — pull request #1 by whitequark (2014-04-29 01:31:05+00:00)
Title: Use appropriate executable extension for the platform

This PR does not affect user-visible functionality, as findlib automatically adds the `.exe` extension if it is required.

While the change may appear merely cosmetic, I think it is very important to follow existing conventions on all of the target platforms.