]> matita.cs.unibo.it Git - helm.git/commit
backpointer ==> backPointer
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Oct 2001 15:56:54 +0000 (15:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Oct 2001 15:56:54 +0000 (15:56 +0000)
commit50e2ee8fb7fd4a2a14bf60779e1c709b220c6072
tree143d37ff9a5be27ec6d612afdd6cb112cdbac0f8
parent054a2f683f8240063a8d6e1c9c5864ebac8eaa41
backpointer ==> backPointer
helm/metadata/create2/invert.pl