*oops* fix date
[web.git] / cs / index.html
1 ---
2 title: Research
3 layout: null
4 ---
5 <!DOCTYPE html>
6 <html>
7 <head>
8     <title>Ralf Jung</title>
9     <link rel="stylesheet" href="/style.css">
10     <meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/"> 
11 </head>
12
13 <body><p style="padding: 1em">
14     You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
15 </p></body>
16 </html>