Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
share
emacs
why3.el
Find file
Blame
History
Permalink
[emacs mode] add `\\'` which indicates the end of the file name.
· 57f0aaaf
François Bobot
authored
Jul 25, 2018
and
Guillaume Melquiond
committed
Sep 10, 2018
Otherwise strangely it could match all the `*.ml` ocaml files.
57f0aaaf