summaryrefslogtreecommitdiff
path: root/Nun_ruhen_alle_Waelder
AgeCommit message (Expand)Author
2019-07-29ignore errors of pkill in MakefilesErich Eckner
2019-04-04Nun_ruhen_alle_Waelder neuErich Eckner