From 8921e899b300ead12f76f3c1afda2ce83d5e77ef Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 26 Aug 2016 00:12:06 +0200 Subject: fix height --- about.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/about.html b/about.html index f678f421..db0d8386 100644 --- a/about.html +++ b/about.html @@ -91,7 +91,7 @@

Florian Dold

- Florian Dold + Florian Dold

PhD Student, Inria. Hacker.

Doktorand, Inria. Hacker.

Fouineur

-- cgit v1.2.3