Revision f4c89753be6e6e317e71216f4ab5bf265064cb13

Committed on 03/07/2014 9:59 pm by Ivan Herak <ivan@netgen.hr> [GitHub Diff]

Minor changes to INSTALL.md