diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index 47c6522..b5007b0 100644 --- a/docs/index.html +++ b/docs/index.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="description-site"> <header class="header-bloc"> |