Skip to content
GitLab
Explore
Sign in
Register
Manu Beffara
coq-au-vim
Repository
coq-au-vim
autoload
coqtop.vim
Find file
Blame
History
Permalink
Make :CoqToCursor work when on a full stop.
· 10ee9a51
Adam Matoušek
authored
Oct 12, 2018
10ee9a51