Differences

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

--- docs:tips_n_tricks:grub:index.html [24.03.2024 16:03 CET] – [Pages] peter
+++ docs:tips_n_tricks:grub:index.html [24.03.2024 16:07 CET] – peter
@@ Line 38: / Line 38: @@
 </file>
-===== Tagged =====
+===== Tagged pages (tag plugin) =====
 {{topic>GRUB}}
-===== Indexed ====
+===== Indexed pages (subjectindex plugin) ====
 {{subjectindex>regex=GRUB$;hideatoz;hidejump}}
 {{tag>GRUB}}{{entry>GRUB}}