X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/2b5bea332e07c39b19d7e42f8894687f5432572e..aa1de30942cd57a8101bc8b3fc1ffea3c591b0a8:/cs/index.html?ds=inline 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/. +
+