openbsd/ports
1
0
Fork 0
mirror of https://github.com/openbsd/ports.git synced 2026-06-18 15:33:55 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
ports/math/prover9/Makefile
T
naddy ab45f39af6 drop RCS Ids
2022-03-11 19:36:11 +00:00

5 lines
81 B
Makefile
Raw Permalink Blame History

SUBDIR =
SUBDIR += ladr
SUBDIR += p9m4
.include <bsd.port.subdir.mk>
Reference in New Issue View Git Blame Copy Permalink