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
Add page numbers in the documentation.
· b3220b73
POTTIER Francois
authored
Jan 05, 2017
Add Menhir's version number at the bottom right of every page.
b3220b73