Revision - f895e8f - Experimenting with adding git version to the executable

Revision f895e8f8809ea0644b075b932980a646bc65dfac authored by Roberto Di Cosmo on 11 November 2011, 12:49:50 UTC, committed by Roberto Di Cosmo on 11 November 2011, 12:49:50 UTC

Experimenting with adding git version to the executable

1 parent 1f550f3

Files
Changes

INSTALL

To install this program, just type

make; make install

To uninstall, type

make uninstall

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...