Revision bc62c45ce3cae0c3128ee21c9fb5097d48b7efd7

Committed on 31/10/2012 4:20 pm by Harry Oosterveen <[email protected]> [GitHub Diff]

Update INSTALL.md