]> matita.cs.unibo.it Git - helm.git/blob - Makefile
projects / helm.git / blob
? search:


2fe33e60b83a87624dff97b7bcb08e5bc037cdfd
[helm.git] / Makefile
1 EXEC = matitadep
2 VERSION=0.1.0
3
4 REQUIRES = helm-ng_library
5
6 include ../Makefile.common
Unnamed repository; edit this file 'description' to name the repository.