X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/2b5bea332e07c39b19d7e42f8894687f5432572e..33e80d85e602c0771d3403c9740ae7972bef55ae:/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/. +
+