completion: reduce overhead of clearing cached --options
authorSZEDER Gábor <szeder.dev@gmail.com>
Tue, 17 Apr 2018 22:02:19 +0000 (00:02 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 17 Apr 2018 23:43:31 +0000 (08:43 +0900)
commit94408dc...1c0410a385193171cc79d230920b85fa
tree5e19ca3...4cb7984403669389b8cc999d87edb5a0copy hash to clipboard (tree)
parent468165c...d8a442994a825f3684528361727cd8c0copy hash to clipboard (diff)
contrib/completion/git-completion.bash