Josh Berdine c131e2e669 [sledge] Use dune's Build_info for version reporting ... Summary: Replace custom version reporting support using a shell script with code using dune's Build_info API. Note that after this diff, the executables under _build/<context> are not version-stamped, but those under _build/_install are. The symlinks in bin point to the latter, stamped, exes. Reviewed By: bennostein Differential Revision: D16985446 fbshipit-source-id: 7afac87be		6 years ago
..
opam	[sledge] Update build system, etc.	6 years ago
gen_help.sh	[sledge] Generate and commit cli help	6 years ago