Removed dev with mike 2.1.3

anoma · Jan 21, 2025 · 21620f7 · 21620f7
1 parent 95a888e
commit 21620f7
Show file tree

Hide file tree

Showing 1,405 changed files with 0 additions and 210,467 deletions.
diff --git a/dev/404.html b/dev/404.html
diff --git a/dev/CHANGELOG.html b/dev/CHANGELOG.html
diff --git a/dev/Juvix/Builtin/V1/Bool-src.html b/dev/Juvix/Builtin/V1/Bool-src.html
diff --git a/dev/Juvix/Builtin/V1/Bool.html b/dev/Juvix/Builtin/V1/Bool.html
diff --git a/dev/Juvix/Builtin/V1/Fixity-src.html b/dev/Juvix/Builtin/V1/Fixity-src.html