summaryrefslogtreecommitdiff
path: root/Lobe_den_Herren/Makefile
AgeCommit message (Expand)Author
2019-07-29ignore errors of pkill in MakefilesErich Eckner
2019-06-18add pkill to all MakefilesErich Eckner
2018-05-09Lobe_den_Herren: Makefile neuErich Eckner