Skip to content
GitLab
Explore
Sign in
Register
Manu Beffara
coq-au-vim
Repository
coq-au-vim
ftplugin
coq.vim
Find file
Blame
History
Permalink
Do not match two dots as a sentence terminator.
· d52710c6
Adam Matoušek
authored
Sep 23, 2018
and
Manu Beffara
committed
Sep 24, 2018
Two dots are used e.g. in notation for lists.
d52710c6