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


da3c3c51415998c802214f379033a373ba52f30f
[helm.git] / .cvsignore
1 .depend
2 config.make
3 var2conv
4 var2def
5 lablgtk
6 lablgtktop
7 lablgtktop_t
8 lablgtkrun
9 *_tags.c
10 *_tags.h
11
Unnamed repository; edit this file 'description' to name the repository.