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>