add CS redirect page; tiny projects page change

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

new file mode 100644 (file)

index 0000000..00b6bb7
--- /dev/null
+++ b/cs/index.html
@@ -0,0 +1,14 @@
+---
+title: Research
+layout: null
+---
+<!DOCTYPE html>
+<html>
+<head>
+<title>Ralf Jung</title>
+<meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/"> 
+</head>
+
+<body>
+You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
+</body>