remove Extra.Todo

anoma · Jan 17, 2025 · 5ba4c35 · 5ba4c35
1 parent 9710059
commit 5ba4c35
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/Extra.juvix b/Extra.juvix
@@ -3,4 +3,3 @@ module Extra;
 import Extra.Anoma open public;
 import Extra.Encoded open public;
 import Extra.Random open public;
-import Extra.Todo open public;
diff --git a/Extra/Todo.juvix b/Extra/Todo.juvix