]> matita.cs.unibo.it Git - helm.git/blob - Makefile
bd75dbd6d9c6d47567f18bc7018fefacfdc53826
[helm.git] / Makefile
1 DEVEL = library
2
3 include ../Makefile.common