diff options
author | johannst <johannst@users.noreply.github.com> | 2023-12-05 22:08:06 +0000 |
---|---|---|
committer | johannst <johannst@users.noreply.github.com> | 2023-12-05 22:08:06 +0000 |
commit | 2294180c3778d0fcfa877818e98c420fcd54bb8a (patch) | |
tree | 8240452d6b80d397f1b5a9425c1a986c20e710e5 /juicebox_asm/insn | |
parent | e37c8e0f9319e3df3ff801f5a38f4717a8a20b28 (diff) | |
download | juicebox-asm-2294180c3778d0fcfa877818e98c420fcd54bb8a.tar.gz juicebox-asm-2294180c3778d0fcfa877818e98c420fcd54bb8a.zip |
deploy: 7e98f5def5942969f97f5f015e7fb8417793d132
Diffstat (limited to 'juicebox_asm/insn')
-rw-r--r-- | juicebox_asm/insn/trait.Cmp.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/juicebox_asm/insn/trait.Cmp.html b/juicebox_asm/insn/trait.Cmp.html new file mode 100644 index 0000000..b685490 --- /dev/null +++ b/juicebox_asm/insn/trait.Cmp.html @@ -0,0 +1,11 @@ +<!DOCTYPE html> +<html lang="en"> +<head> + <meta http-equiv="refresh" content="0;URL=../../juicebox_asm/prelude/trait.Cmp.html"> + <title>Redirection</title> +</head> +<body> + <p>Redirecting to <a href="../../juicebox_asm/prelude/trait.Cmp.html">../../juicebox_asm/prelude/trait.Cmp.html</a>...</p> + <script>location.replace("../../juicebox_asm/prelude/trait.Cmp.html" + location.search + location.hash);</script> +</body> +</html>
\ No newline at end of file |