]> matita.cs.unibo.it Git - helm.git/commit
Two javacores where in the repository: removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:07:44 +0000 (19:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:07:44 +0000 (19:07 +0000)
commit75a9b5036f36670b52acb989f73307aa251a6a6c
tree5557cfd70ab3378282896ab418f3d024d6f77714
parent73b8a2b8989ae956eef00d63c2eaaf715428e177
Two javacores where in the repository: removed
helm/interface/javacore15005.txt [deleted file]
helm/interface/javacore15021.txt [deleted file]