summaryrefslogtreecommitdiff
path: root/Gloria_in_D/Makefile
AgeCommit message (Expand)Author
2019-07-29ignore errors of pkill in MakefilesErich Eckner
2019-06-18add pkill to all MakefilesErich Eckner
2018-02-21Gloria_in_D: zerteiltErich Eckner
2018-01-15Gloria_in_D: Makefile neuErich Eckner