]> matita.cs.unibo.it Git - helm.git/history - helm/interface/helm_gtk_interface-0.0.1-1.spec
made executable again
[helm.git] / helm / interface / helm_gtk_interface-0.0.1-1.spec
2001-01-17 Luca Padovaniimproved autoconfiguration (well, maybe)
2000-12-29 Claudio Sacerdoti... Some Requires were missing. Same checks still missing...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... ...
2000-12-28 Claudio Sacerdoti... Autoconf now used