diff options
Diffstat (limited to 'docs/pages/publications.html')
| -rw-r--r-- | docs/pages/publications.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/pages/publications.html b/docs/pages/publications.html index 9c7577d..1034c0b 100644 --- a/docs/pages/publications.html +++ b/docs/pages/publications.html @@ -23,7 +23,7 @@ <li><a href="/">Accueil</a></li> <li><a href="/pages/publications.html">Publications</a></li> <li><a href="/pages/cours.html">Enseignements</a></li> - <li><a href="/pages/glossaire.html">Glossaire</a></li> + <li><a href="/pages/presentations.html">Présentations</a></li> <li class="right"><a href="/index-cache.html"></a></li> </ul> </nav></header> <div class="container"> |