Age | Commit message (Expand) | Author |
---|---|---|
2020-01-24 | es gibt jetzt nur noch *ein* Makefile (bis auf Konzerte) - wenn was nicht geh... | Erich Eckner |
2019-07-29 | ignore errors of pkill in Makefiles | Erich Eckner |
2019-06-18 | add pkill to all Makefiles | Erich Eckner |
2018-05-09 | Lobe_den_Herren: Makefile neu | Erich Eckner |