]> matita.cs.unibo.it Git - helm.git/commit
start tutors with nice at the lowest priority
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:46:03 +0000 (16:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:46:03 +0000 (16:46 +0000)
commit641aec825f4cf10d5075da92681575acdfeeb2ae
tree8d4c7e5b6a1f1de389ecfed9da2d28ce34b0f137
parent811c9c106279d504c214b54a267b62653d685945
start tutors with nice at the lowest priority
helm/hbugs/tutors/sabba.sh