diff options
-rw-r--r-- | about.html | 2 | ||||
m--------- | web-common | 0 |
2 files changed, 1 insertions, 1 deletions
@@ -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 | ||