]> matita.cs.unibo.it Git - helm.git/commit
*** empty log message ***
authorLuca Padovani <luca.padovani@unito.it>
Fri, 2 Feb 2001 10:01:01 +0000 (10:01 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 2 Feb 2001 10:01:01 +0000 (10:01 +0000)
commitf9571148c8066e566a8999b7618292b656917031
tree16d010dc97166c5c0ea8a798d85a23a37d2560d6
parent9ee24cabde7d6d60d9c0c2feebcea31c0fa702e2
*** empty log message ***
helm/configuration/configure.in
helm/configuration/helm_configuration.spec.in