# HG changeset patch
# User wenzelm
# Date 1716632457 -7200
# Node ID e2ccabd7a857e5545e5006c182f0e473ed91c53d
# Parent  79655411a32df7f5ff5af30bdf2583d146b82351
tuned whitespace (amending beb4ee344c22);

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
-