05_developer_tutorials:dev-guide:plugins
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| 05_developer_tutorials:dev-guide:plugins [2025/02/19 15:51] – ↷ Links adapted because of a move operation gaetan | 05_developer_tutorials:dev-guide:plugins [2025/12/12 11:51] (current) – [Plugin Manager] groimp | ||
|---|---|---|---|
| Line 49: | Line 49: | ||
| The plugins can easily be updated, installed, or removed from the GUI with the | The plugins can easily be updated, installed, or removed from the GUI with the | ||
| - | [[01_user_documentation: | + | [[01_user_documentation: |
| The plugin manager uses the [[05_developer_tutorials: | The plugin manager uses the [[05_developer_tutorials: | ||
05_developer_tutorials/dev-guide/plugins.txt · Last modified: 2025/12/12 11:51 by groimp
