]> matita.cs.unibo.it Git - helm.git/commit
out of sync w.r.t. configuration.ml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Nov 2001 13:16:15 +0000 (13:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Nov 2001 13:16:15 +0000 (13:16 +0000)
commit2c213de9e3012552e9cb2dc07412b1e7be52a69e
treecb04d97fe5832463f130bf8d9f4faeb9d6f4361e
parente0ba4db215de5bfdf1cc42e0cc1c64b04b73833d
out of sync w.r.t. configuration.ml
helm/metadata/create2/touch/configuration.ml.in