From 2b5bea332e07c39b19d7e42f8894687f5432572e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 7 Oct 2015 18:15:41 +0200 Subject: [PATCH 1/1] add CS redirect page; tiny projects page change --- cs/index.html | 14 ++++++++++++++ projects/index.md | 2 +- 2 files changed, 15 insertions(+), 1 deletion(-) create mode 100644 cs/index.html diff --git a/cs/index.html b/cs/index.html new file mode 100644 index 0000000..00b6bb7 --- /dev/null +++ b/cs/index.html @@ -0,0 +1,14 @@ +--- +title: Research +layout: null +--- + + + +Ralf Jung + + + + +You should be redirected to http://www.mpi-sws.org/~jung/. + diff --git a/projects/index.md b/projects/index.md index 17be61a..1cbebee 100644 --- 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/). -- 2.30.2