summaryrefslogtreecommitdiff
path: root/src/Makefile-non-opam
AgeCommit message (Expand)Author
2014-10-06Getting closer with non-opam makefileKathy Gray
2014-10-04Add alternative non-opam Makefile in src/.Stephen Kell
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-02 12:31:20 +0000