projects / web.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 46450d5)
add CS redirect page; tiny projects page change
authorRalf Jung <post@ralfj.de>
Wed, 7 Oct 2015 16:15:41 +0000 (18:15 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 7 Oct 2015 16:15:41 +0000 (18:15 +0200)
cs/index.html [new file with mode: 0644] patch | blob
projects/index.md patch | blob | history

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>
diff --git a/projects/index.md b/projects/index.md
index 17be61a18805c58fc05f952780d0b4ff5751efd7..1cbebee7cd8ca3bb83b59698f0305f3b5d5afd1b 100644 (file)
--- a/projects/index.md
+++ b/projects/index.md
@@ -20,4 +20,4 @@ But maybe you are having just the same problem as I did, in which case I hope th
 * [git-mirror](git-mirror/): This can keep multiple git repositories of the same project in sync automatically.
 
 For some more of my projects, check out the [public git repositories](https://www.ralfj.de/git/)
-hosted on my server and the [Debian packages](http://qa.debian.org/developer.php?login=post%40ralfj.de) I am maintaining as DM.
+hosted on my server and my [GitHub profile](https://github.com/RalfJung/).
sources for my website