diff options
author | Erich Eckner <git@eckner.net> | 2017-07-31 20:37:42 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-16 16:39:44 +0200 |
commit | e4aafd20dfff71c41b46c86b88d0bb0090e24d89 (patch) | |
tree | 7df4f9e887b2bb0c87507fada36f2f5b76b1a283 /zsh_completion.in | |
parent | 7bc982317f7398c26c62b261f19e9582add6dce8 (diff) | |
download | devtools32-e4aafd20dfff71c41b46c86b88d0bb0090e24d89.tar.xz |
remove empty tree if "--verifysource" failed
Diffstat (limited to 'zsh_completion.in')
0 files changed, 0 insertions, 0 deletions