Move building of libsnark14.so to top level Makefile.
[snark14.git] / tools / Display / qt4-headers.diff
2018-02-12 Kevin M. RosenbergChanges for QT4 headers