From 872cf6d06f4d77637b4627fdc583bab79ee2372f Mon Sep 17 00:00:00 2001 From: johannst Date: Mon, 27 Feb 2023 22:52:40 +0000 Subject: deploy: 6486b862edc2750dba83848f62d6c9f3d4c6d3c2 --- juicebox_asm/insn/trait.Test.html | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 juicebox_asm/insn/trait.Test.html (limited to 'juicebox_asm/insn/trait.Test.html') diff --git a/juicebox_asm/insn/trait.Test.html b/juicebox_asm/insn/trait.Test.html new file mode 100644 index 0000000..323461d --- /dev/null +++ b/juicebox_asm/insn/trait.Test.html @@ -0,0 +1,11 @@ + + + + + Redirection + + +

Redirecting to ../../juicebox_asm/prelude/trait.Test.html...

+ + + \ No newline at end of file -- cgit v1.2.3