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