Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
doc
main.tex
Find file
Blame
History
Permalink
Fix the syntax of attributes in the documentation.
· 0d44f2c0
POTTIER Francois
authored
Dec 01, 2017
The documentation used @[ everywhere, whereas the correct syntax is [@.
0d44f2c0