Skip to content
GitLab
Explore
Sign in
Register
Manu Beffara
coq-au-vim
Repository
coq-au-vim
doc
coq.txt
Find file
Blame
History
Permalink
Deduplicate *g:coq_debug* tag in help file
· 565e64f9
Samuel Hym
authored
Jul 26, 2018
and
Manu Beffara
committed
Jul 26, 2018
The tag *g:coq_debug* appeared twice so `helptags` did not know which one should be the target
565e64f9