diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-08-17 12:51:55 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-08-17 12:51:55 +0200 |
| commit | 90f235b393b2f7b387d9f3749e486dec1a381f96 (patch) | |
| tree | 9f29a493461a0510ee833f412b97744ac3a17ff6 /doc/webui.png | |
| parent | e482a37776524b56d602e0067b254ea48307eea2 (diff) | |
| download | git-bug-90f235b393b2f7b387d9f3749e486dec1a381f96.tar.gz | |
makefile: add a target to clean bugs on a remote
Diffstat (limited to 'doc/webui.png')
0 files changed, 0 insertions, 0 deletions