formal updates, pick-25

thomaskoslowski · thomaskoslowski · commit 20291d4d4985 · 2026-05-04T16:01:35.000+02:00
diff --git a/src/onprem/de/distributed_monitoring.asciidoc b/src/onprem/de/distributed_monitoring.asciidoc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// IGNORE % betreiber1 kunde1 kunde2 kunde3 p11 se ⇄
+// IGNORE se kunde1 kunde2 kunde3 betreiber1
 // NONASCII 
 include::global_attr.adoc[]
 = Verteiltes Monitoring
diff --git a/src/onprem/en/distributed_monitoring.asciidoc b/src/onprem/en/distributed_monitoring.asciidoc
@@ -1,5 +1,6 @@
 // -*- coding: utf-8 -*-
-// IGNORE % customer1 customer2 customer3 operator1 p11 se ⇄
+// IGNORE se backends customer1 customer2 customer3 operator1
+
 // NONASCII 
 include::global_attr.adoc[]
 = Distributed monitoring
