blob: 9a2b82d774014874c1249dfee01a5c7394aad9a4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="refresh" content="0;URL=../../juicebox_asm/prelude/trait.Dec.html">
<title>Redirection</title>
</head>
<body>
<p>Redirecting to <a href="../../juicebox_asm/prelude/trait.Dec.html">../../juicebox_asm/prelude/trait.Dec.html</a>...</p>
<script>location.replace("../../juicebox_asm/prelude/trait.Dec.html" + location.search + location.hash);</script>
</body>
</html>
|
