]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:36:48 +0000 (17:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 17:36:48 +0000 (17:36 +0000)
commit865d699af85587a783f0f2bcc8cca18b0df7ba53
treebaf90344f015e378d8f31c1419ab4a974f302940
parent93d9d6906ff69d4291d8bfc597356b559fdaf025
...
helm/configuration/Makefile.in
helm/configuration/configure.in