Differences

This shows you the differences between two versions of the page.

--- menu [18.03.2024 16:21 CET] – peter
+++ menu [18.03.2024 16:24 CET] (current) – old revision restored (18.03.2024 16:13 CET) peter
@@ Line 4: / Line 4: @@
   * [[:index.html|Home]]
-{{indexmenu>:docs.#1|navbar msort hsort tsort nsort nogroup}}
+{{indexmenu>:docs.#1|navbar msort tsort nsort nogroup}}
   * [[topics.html]]