]> matita.cs.unibo.it Git - helm.git/commit
Makefile moved in Makefile.in to use autoconf
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 16:56:14 +0000 (16:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 16:56:14 +0000 (16:56 +0000)
commit8888ef176932798ba5c3b332eb1e9f2d57bf2a88
tree2c2d1f31a57936147e17790d77cf54a635f625e3
parent8f2854b5ac8e44394d0056687897b1ed18ecf304
Makefile moved in Makefile.in to use autoconf
helm/interface/Makefile [deleted file]
helm/interface/Makefile.in [new file with mode: 0644]