Age | Commit message (Expand) | Author |
---|---|---|
2020-01-22 | Makefiles noch mehr vereinheitlicht | Erich Eckner |
2019-07-29 | ignore errors of pkill in Makefiles | Erich Eckner |
2019-06-18 | add pkill to all Makefiles | Erich Eckner |
2018-02-21 | Korn_dass_in_die_Erde neu | Erich Eckner |