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-05-25 | Vertraut_den_neuen_Wegen: Striche an lang auszuhaltenden Text | Erich Eckner |
2018-05-25 | Vertraut_den_neuen_Wegen neu | Erich Eckner |