]> matita.cs.unibo.it Git - helm.git/commit
Bad variable name fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 16:00:33 +0000 (16:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 16:00:33 +0000 (16:00 +0000)
commit0581f3c8dc2098b82cd31a0fbed224a95652bd88
treeb1a68853c17f65c32114c1d963b52030cad000e1
parent7a651a85d575ff0294f76f78d7771b96e50c5012
Bad variable name fixed.
helm/software/components/grafite_engine/grafiteSync.ml