gitignore: *.tmp und *.trace
[uebersetzerbau-ss10.git] / skriptum.ps
2010-02-26 Bernhard Urbaninit