]> matita.cs.unibo.it Git - helm.git/history - helm/configuration/Makefile.in
expanded content of old topfind
[helm.git] / helm / configuration / Makefile.in
2001-02-02 Luca Padovani*** empty log message ***
2001-01-17 Luca Padovaniautoconfiguration improved (?)
2000-12-29 Claudio Sacerdoti... now servers.txt and urls_or_uris.db are 666
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... 1777 (1 = sticky bit) for the library dir
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... More cleaning in distclean
2000-12-22 Claudio Sacerdoti... ...
2000-12-22 Claudio Sacerdoti... library files added
2000-12-22 Claudio Sacerdoti... distclean target added
2000-12-21 Claudio Sacerdoti... Using autoconf