Differences

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

--- 05_developer_tutorials:dev-guide:plugins [2025/02/19 15:51] – ↷ Page moved from 04_developer_documentation:dev-guide:plugins to 05_developer_tutorials:dev-guide:plugins gaetan
+++ 05_developer_tutorials:dev-guide:plugins [2025/02/19 15:51] (current) – ↷ Links adapted because of a move operation gaetan
@@ Line 51: / Line 51: @@
 [[01_user_documentation:user-guide:pluginmanager|Plugin Manager]].
-The plugin manager uses the [[04_developer_documentation:dev-guide:plugins-repository|plugin repositories]] to find plugin data. These repositories can be local or remote but needs to follow the given structure.
+The plugin manager uses the [[05_developer_tutorials:dev-guide:plugins-repository|plugin repositories]] to find plugin data. These repositories can be local or remote but needs to follow the given structure.