]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ef5752) | patch
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
treeed7ae35fe89352a8a2db2374f2bbc4bf2b4fd46ftree | snapshot
parent5ef5752989f98bd821975f7f570c980f5943237acommit | diff
Scripts simplified (since now we have only one cluster and only one
stable version of the library).
helm/scripts/Makefile diff | blob | history
helm/scripts/makeit diff | blob | history
helm/scripts/template.cshrc diff | blob | history
helm/scripts/template.rc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.