matita.cs.unibo.it Git - helm.git/history - helm/configuration/.cvsignore

]> matita.cs.unibo.it Git - helm.git/history - helm/configuration/.cvsignore

2001-02-02	Luca Padovani	* empty log message *	blob \| commitdiff \| raw
2001-01-17	Luca Padovani	autoconfiguration improved (?)	blob \| commitdiff \| raw \| diff to current
2000-12-21	Claudio Sacerdoti...	cvsignore added	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.