gesamt: teilweise mehrere befehle in einer zeile -- mal schauen ob das dem skript...
[uebersetzerbau-ss10.git] / torero /
2010-03-30 Bernhard Urbantorero