]> matita.cs.unibo.it Git - helm.git/commit
Scripts simplified (since now we have only one cluster and only one
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 17:41:47 +0000 (17:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 17:41:47 +0000 (17:41 +0000)
commit8f2461e7c0c1a6b7d54c16e84b49b2773ea4788d
treeed7ae35fe89352a8a2db2374f2bbc4bf2b4fd46f
parent5ef5752989f98bd821975f7f570c980f5943237a
Scripts simplified (since now we have only one cluster and only one
stable version of the library).
helm/scripts/Makefile
helm/scripts/makeit
helm/scripts/template.cshrc
helm/scripts/template.rc