Revision 0d557c0cbdfeb510a368226bfbcacf82c3eedbcb

Committed on 22/04/2010 9:47 pm by Jerome <[email protected]> [GitHub Diff]

- Renamed INSTALL.txt to INSTALL