]> matita.cs.unibo.it Git - helm.git/history - helm/interface/.cvsignore
Requires and Provides now fixed
[helm.git] / helm / interface / .cvsignore
2000-11-16 Claudio Sacerdoti... .cvsignore improved
2000-11-08 Claudio Sacerdoti... Repository fixing
2000-10-31 Claudio Sacerdoti... Binary files added to .cvsignore
2000-10-31 Claudio Sacerdoti... .cvsignore created