From 0cc3f85f994ebd0111abe139e089f60397be71f6 Mon Sep 17 00:00:00 2001
From: Gaspard Jankowiak <gaspard@math.janko.fr>
Date: Mon, 26 Nov 2018 14:32:50 +0100
Subject: [PATCH] [nav] link to gitea

---
 _includes/nav_en.html | 3 ++-
 _includes/nav_fr.html | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/_includes/nav_en.html b/_includes/nav_en.html
index 2dd4721..26d4294 100644
--- a/_includes/nav_en.html
+++ b/_includes/nav_en.html
@@ -3,7 +3,8 @@
 <li><a href="/en/publications">Publications</a></li>
 <li><a href="/enseignement/">Teaching</a></li>
 <li><a href="/en/cv">Vitæ</a></li>
-<li><a href="/en/#contact">Contact</a></li>
+<li><a href="https://gitea.oknaj.eu/gjankowiak/">Code</a></li>
 <li><a href="/en/misc">Misc.</a></li>
+<li><a href="/en/#contact">Contact</a></li>
 </ul>
 </nav>
diff --git a/_includes/nav_fr.html b/_includes/nav_fr.html
index 3255aa5..c7ee722 100644
--- a/_includes/nav_fr.html
+++ b/_includes/nav_fr.html
@@ -3,7 +3,8 @@
 <li><a href="/publications">Publications</a></li>
 <li><a href="/enseignement/">Enseignement</a></li>
 <li><a href="/cv">Vitæ</a></li>
-<li><a href="/#contact">Contact</a></li>
+<li><a href="https://gitea.oknaj.eu/gjankowiak/">Code</a></li>
 <li><a href="/divers">Divers</a></li>
+<li><a href="/#contact">Contact</a></li>
 </ul>
 </nav>