diff options
-rw-r--r-- | about.html | 2 | ||||
m--------- | web-common | 0 |
2 files changed, 1 insertions, 1 deletions
@@ -90,7 +90,7 @@ <p lang="es" note="outdated">Mayormente inofensivo</p> </div> <div class="col-lg-4"> - <h2>Florian Dold</h2> + <h2><a href="https://fdold.eu">Florian Dold</a></h2> <p lang="en">PhD Student, Inria. Hacker.</p> <p lang="de">Doktorand, Inria. Hacker.</p> <p lang="fr" note="outdated">Fouineur</p> diff --git a/web-common b/web-common -Subproject 80f1e2708dbe4b19349244b611a6167b4b7a98c +Subproject dfa825243b718e222013d35a58b2dd8ec0ef05a |