Move building of libsnark14.so to top level Makefile.
[snark14.git] / doc / snark14.pdf
2018-02-12 Kevin M. RosenbergAdd upstream PDF