Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
grammarFunctor.ml
Find file
Blame
History
Permalink
Remove [Positions.two].
· c2584813
POTTIER Francois
authored
Oct 23, 2018
It is replaced with [Positions.import] in a singleton list.
c2584813