aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--about.html2
m---------web-common0
2 files changed, 1 insertions, 1 deletions
diff --git a/about.html b/about.html
index b2ffb1a6..3d39d421 100644
--- a/about.html
+++ b/about.html
@@ -90,7 +90,7 @@
90 <p lang="es" note="outdated">Mayormente inofensivo</p> 90 <p lang="es" note="outdated">Mayormente inofensivo</p>
91 </div> 91 </div>
92 <div class="col-lg-4"> 92 <div class="col-lg-4">
93 <h2>Florian Dold</h2> 93 <h2><a href="https://fdold.eu">Florian Dold</a></h2>
94 <p lang="en">PhD Student, Inria. Hacker.</p> 94 <p lang="en">PhD Student, Inria. Hacker.</p>
95 <p lang="de">Doktorand, Inria. Hacker.</p> 95 <p lang="de">Doktorand, Inria. Hacker.</p>
96 <p lang="fr" note="outdated">Fouineur</p> 96 <p lang="fr" note="outdated">Fouineur</p>
diff --git a/web-common b/web-common
Subproject 80f1e2708dbe4b19349244b611a6167b4b7a98c Subproject dfa825243b718e222013d35a58b2dd8ec0ef05a