Closed fsteeg closed 12 years ago
Currently scripts and stuff are in /home/fsteeg - we should move them to a neutral place like /opt
Build server at http://bob.spinfo.uni-koeln.de
Currently scripts and stuff are in /home/fsteeg - we should move them to a neutral place like /opt