]> matita.cs.unibo.it Git - helm.git/history - helm/configuration/ChangeLog
Makefile.in that support some new architectures.
[helm.git] / helm / configuration / ChangeLog
2000-12-28 Claudio Sacerdoti... First changes to make the rpm package
2000-12-21 Claudio Sacerdoti... Using autoconf