remove INSTALL file to have a clean git status

Submitted by Neels Hofmeyr on July 28, 2016, 4:40 p.m.

Details

Reviewer None
Submitted July 28, 2016, 4:40 p.m.
Last Updated July 28, 2016, 4:42 p.m.
Revision 1

Revisions