ExtensionType
Last modified by Simon Urli on 2021/03/17 13:40
- Type
- Name
- No file
- Description
Extension without any associated file
- Installation instructions
We recommend using the Extension Manager to install this extension (Make sure that the text "Installable with the Extension Manager" is displayed at the top right location on this page to know if this extension can be installed with the Extension Manager).
