]> matita.cs.unibo.it Git - helm.git/commit
Removed the line that sourced the personal configuration file of Zack.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:13:15 +0000 (14:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:13:15 +0000 (14:13 +0000)
commit201e5f67d1227dfb5c863e2edc862bb6d73e9383
tree701db7cac98db9d4d3145081ef31f47c0e724650
parent9f22237fa52f20bdfed254a9837f7ff05ba2c9bb
Removed the line that sourced the personal configuration file of Zack.
helm/hbugs/broker/hbugs_broker_ctl.sh
helm/hbugs/tutors/sabba.sh