diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-10-01 22:01:14 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-10-01 22:01:14 +0200 |
| commit | aea85f04293210b94c6faa0ac9cb950a9239bd5b (patch) | |
| tree | f03b4c1a511156af1719ebacd16ff4d30dfb24d9 /util | |
| parent | de81ed49e67ce47bd931bd6f84bd1bb8a2167262 (diff) | |
| download | git-bug-aea85f04293210b94c6faa0ac9cb950a9239bd5b.tar.gz | |
makefile: also clear the cache after deleting the bugs
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions