]>
2020-11-05 | gregor herrmann | Makefile: set MONITOR_PORT depending on hostname | blob | commitdiff | raw |
2020-10-27 | gregor herrmann | Makefile: log target: filter out "Finished" lines as... | blob | commitdiff | raw | diff to current |
2020-10-26 | gregor herrmann | add Makefile target to massage log data | blob | commitdiff | raw | diff to current |
2020-10-21 | Philipp Spitzer | Use make file. | blob | commitdiff | raw | diff to current |