]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:26:57 +0000 (09:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 09:26:57 +0000 (09:26 +0000)
commite1759f35dbc3deeb7b8a12ce5de983576b88eeb3
tree2f4862843e8c635732b0f250217c7833f9febca0
parenta283b3eb427aea774c6b48e88d90e1bc49c9c778
...
helm/configuration/Makefile.in
helm/configuration/configure.in