Differences

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

--- 01_user_documentation:11_plugin:50_mirror [2025/12/10 15:52] – created gaetan
+++ 01_user_documentation:11_plugin:50_mirror [2025/12/10 15:53] (current) – gaetan
@@ Line 1: / Line 1: @@
 ====== Grogra.de mirror ======
@@ Line 7: / Line 6: @@
 To enable this mirror in the plugin manager, go to the "Repositories" tab and add a new repository (press the "Add a repository" button).
 Set the new repository to "https://plugins.grogra.de/plugins.json"  and active it. At this point you might also deactivate the "grogra.gitlab.io" repository, but this step is not necessary.
-{{ :user-guide:plugin_manager_with_grogra_mirror.png?direct |}}
+{{:01_user_documentation:11_plugin:plugin_manager_with_grogra_mirror.png?direct |}}