From: Ralf Jung Date: Wed, 7 Oct 2015 16:15:41 +0000 (+0200) Subject: add CS redirect page; tiny projects page change X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/2b5bea332e07c39b19d7e42f8894687f5432572e?ds=sidebyside;hp=46450d541f39450fbca2bfef9f9a071b97497b6d add CS redirect page; tiny projects page change --- 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/).