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