Revision 0d557c0cbdfeb510a368226bfbcacf82c3eedbcb

Committed on 22/04/2010 9:47 pm by Jerome <jerome.renard@gmail.com> [GitHub Diff]

- Renamed INSTALL.txt to INSTALL