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


a4bc4c3cc0cf769bfdb6dfcd070f8f2249a02432
[helm.git] / Makefile.am
1
2 EXTRA_DIST = BUGS LICENSE aclocal.m4 debian/
3
4 SUBDIRS = C C++ ocaml test_files
Unnamed repository; edit this file 'description' to name the repository.