]> matita.cs.unibo.it Git - helm.git/commit
Other cleanings in the repository
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:50:26 +0000 (19:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:50:26 +0000 (19:50 +0000)
commit5089686a4d73990a8a284666b388ef3276cec680
treefc7c987b734b7ba069f3bcf3249511fcdcfbae6e
parent857b7321250fd66596523596c8ef104f8978fe05
Other cleanings in the repository
helm/interface/Makefile
helm/interface/mkindex.sh [deleted file]