projects
/
web.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
00b6bb794a7877d9dc1a5ae2a21642b4d1062b8a
[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
<meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/">
10
</head>
11
12
<body>
13
You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
14
</body>