update

number571 · Oct 9, 2024 · cbf00f1 · cbf00f1
1 parent 19b575f
commit cbf00f1
Show file tree

Hide file tree

Showing 5 changed files with 4,197 additions and 4,199 deletions.
diff --git a/cmd/Makefile b/cmd/Makefile
@@ -3,9 +3,7 @@
 default: build 
 build:
 	make -C ./hidden_lake build
-	make -C ./micro_anon build
 	make -C ./tools build
 clean:
 	make -C ./hidden_lake clean
-	make -C ./micro_anon clean
 	make -C ./tools clean