summaryrefslogtreecommitdiff
path: root/Die_Himmel_erzaehlen
AgeCommit message (Collapse)Author
2019-07-29ignore errors of pkill in MakefilesErich Eckner
2019-06-18add pkill to all MakefilesErich Eckner
2017-08-16Die_Himmel_erzaehlen: KorrekturErich Eckner
2017-08-16Die_Himmel_erzaehlen neuErich Eckner