diff options
| author | Erich Eckner <git@eckner.net> | 2020-03-03 12:02:48 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-03-03 12:02:48 +0100 |
| commit | 2179dec14c9dac38b2d4d661562a0b4438a430ff (patch) | |
| tree | aa80cd76a19b74c9eea543581e2ea6a35cc1f2ed /graph.dot | |
| parent | d81513b2261be1fdb19a3fa1a92c80686337e165 (diff) | |
| download | Rechner-2179dec14c9dac38b2d4d661562a0b4438a430ff.tar.xz | |
Makefile: failing pkill is not an error
Diffstat (limited to 'graph.dot')
0 files changed, 0 insertions, 0 deletions