]> matita.cs.unibo.it Git - helm.git/history - helm/scripts/Makefile
- removed some unneeded dependencies from debian/control
[helm.git] / helm / scripts / Makefile
2004-01-19 Claudio Sacerdoti... Scripts simplified (since now we have only one cluster...
2004-01-19 Claudio Sacerdoti... Only V7_mowgli left.
2004-01-19 Claudio Sacerdoti... Several daemons moved into /projects/helm/daemons.
2003-05-15 Claudio Sacerdoti... The chmod ug+w in the all rule has been made non-critical.
2002-10-07 Claudio Sacerdoti... - New environment variables set.
2002-10-07 Claudio Sacerdoti... Initial revision