summaryrefslogtreecommitdiff
path: root/Unser_Vater_
AgeCommit message (Expand)Author
2020-01-22make Makefiles less diverseErich Eckner
2019-07-29ignore errors of pkill in MakefilesErich Eckner
2019-06-18add pkill to all MakefilesErich Eckner
2019-01-20Unser_Vater_ neuErich Eckner