diff options
Diffstat (limited to 'docs/pages/publications.html')
| -rw-r--r-- | docs/pages/publications.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/pages/publications.html b/docs/pages/publications.html index 54cd247..27319ec 100644 --- a/docs/pages/publications.html +++ b/docs/pages/publications.html @@ -23,6 +23,7 @@ <a href="/">Accueil</a> <a href="/pages/publications.html">Publications savantes</a> <a href="/pages/cours.html">Enseignements</a> + <a href="/pages/glossaire.html">Glossaire</a> </div> </nav></header> <div class="container"> <header class="header-bloc"> |