remove incorrect comment Sand.lean

sullyj3 · Jul 30, 2024 · d0de077 · d0de077
1 parent 261076c
commit d0de077
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Sand.lean b/src/Sand.lean
@@ -1,4 +1,2 @@
--- This module serves as the root of the `Timer` library.
--- Import modules here that should be built as part of the library.
 import «Sand».SandDaemon
 import «Sand».SandClient