# HG changeset patch
# User wenzelm
# Date 1661606942 -7200
# Node ID 586cad415e2f423eda98bb77f596234f0b09c199
# Parent  b831a0bdd7513ea762fd72a094b687fe208c8b69
tuned whitespace for presentation;

diff -r b831a0bdd751 -r 586cad415e2f ROOT
--- a/ROOT	Sat Aug 27 15:23:58 2022 +0200
+++ b/ROOT	Sat Aug 27 15:29:02 2022 +0200
@@ -29,7 +29,11 @@
   "
 
 chapter_definition Misc
-  description "Miscellaneous object-logics, tools, and experiments."
+  description "
+    Miscellaneous object-logics, tools, and experiments.
+  "
 
 chapter_definition Doc
-  description "Sources of Documentation."
+  description "
+    Sources of Documentation.
+  "