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

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

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-29	Claudio Sacerdoti...	now servers.txt and urls_or_uris.db are 666	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	1777 (1 = sticky bit) for the library dir	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2000-12-28	Claudio Sacerdoti...	More cleaning in distclean	blob \| commitdiff \| raw \| diff to current
2000-12-22	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2000-12-22	Claudio Sacerdoti...	library files added	blob \| commitdiff \| raw \| diff to current
2000-12-22	Claudio Sacerdoti...	distclean target added	blob \| commitdiff \| raw \| diff to current
2000-12-21	Claudio Sacerdoti...	Using autoconf	blob \| commitdiff \| raw \| diff to current

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