]> matita.cs.unibo.it Git - helm.git/commit
bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:44:35 +0000 (13:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:44:35 +0000 (13:44 +0000)
commit7f9d100bb28e2fe40a841e4c928a9f502c0ecf83
tree1733cf9241fdd5c7c18f6a5bee0912f2e85cf7dc
parent05a89d6ac5560f1d2a8bb6e930f0ea2b357c5122
bug fixed
helm/helm_data/Makefile.in