summaryrefslogtreecommitdiff
path: root/wo/Makefile
AgeCommit message (Collapse)Author
2020-01-24es gibt jetzt nur noch *ein* Makefile (bis auf Konzerte) - wenn was nicht ↵Erich Eckner
geht: altes Makefile raussuchen und das generische Makefile updaten, sodass es wieder läuft!
2019-07-29ignore errors of pkill in MakefilesErich Eckner
2019-06-18add pkill to all MakefilesErich Eckner
2016-11-09wo: Makefile beachtet jetzt auch UnterverzeichnisErich Eckner
2016-10-24kleine Systeme für HaukeErich Eckner
2016-10-24wo hat jetzt MakefileErich Eckner