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


1968614b77e031a992df12a9fa2eefa820d47059
[helm.git] / .cvsignore
1 *.cmo *.cmi *.cmx t1lib.log test test.opt test.ps test.o
Unnamed repository; edit this file 'description' to name the repository.