prepare for having two sites: personal and research

[web.git] / cs / index.html
diff --git a/cs/index.html b/cs/index.html

deleted file mode 100644 (file)

index 4770ba6..0000000
--- a/cs/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
----
-title: Research
-layout: null
----
-<!DOCTYPE html>
-<html>
-<head>
-    <title>Ralf Jung</title>
-    <link rel="stylesheet" href="/style.css">
-    <meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/"> 
-</head>
-
-<body><p style="padding: 1em">
-    You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
-</p></body>
-</html>