]> matita.cs.unibo.it Git - helm.git/commit
cache usage fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 16:40:48 +0000 (16:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 16:40:48 +0000 (16:40 +0000)
commit658b654a8986b504936499ba6719999612806345
tree541df3e2f4109b3706bbac0f0b986c86ccb724ed
parentb84eb0130dc729d2cd6b53d15520f969713548e8
cache usage fixed
helm/configuration/configure.in