Build without /usr/local/snark14
[snark14.git] / INSTALL.kmr
2018-02-12 Kevin M. RosenbergBuild without /usr/local/snark14