diff -r 79655411a32d -r e2ccabd7a857 ROOTS
--- a/ROOTS	Sat May 25 12:09:37 2024 +0200
+++ b/ROOTS	Sat May 25 12:20:57 2024 +0200
@@ -10,4 +10,3 @@
 src/Sequents
 src/Doc
 src/Tools
-