X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/2b5bea332e07c39b19d7e42f8894687f5432572e..d83a68b0f1486acadb4bfc7b9c1b0276c5b12ad4:/cs/index.html diff --git a/cs/index.html b/cs/index.html index 00b6bb7..4770ba6 100644 --- a/cs/index.html +++ b/cs/index.html @@ -5,10 +5,12 @@ layout: null
-+ You should be redirected to http://www.mpi-sws.org/~jung/. +
+