]> matita.cs.unibo.it Git - helm.git/commit
Makefile patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Feb 2003 14:04:06 +0000 (14:04 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Feb 2003 14:04:06 +0000 (14:04 +0000)
commit32b347ee2bf6d2e942eae3d4c5dca84f4c9b7e49
treedefa25e068d56544530ffa7922714d2cfa495850
parent8d384f4df7e7411870a36486db9e2282dca1cbd5
Makefile patched
helm/gTopLevel/topLevel/.depend [new file with mode: 0644]
helm/gTopLevel/topLevel/Makefile