Revision ae50eb011c6829b1c1ec624bed5b64940b97f197 authored by Roberto Di Cosmo on 11 November 2011, 10:08:17 UTC, committed by Roberto Di Cosmo on 11 November 2011, 10:12:00 UTC
Conflicts: parmap.ml
1 parent be5d9dd
INSTALL
To install this program, just type
make; make install
To uninstall, type
make uninstall
Computing file changes ...