cinnamon-extension-tool1
Extension management program
Usage
cinnamon-extension-tool [--create-extension]
Overview
cinnamon-extension-tool runs the graphical user interface allowing to manage the extensions to be used in cinnamon.
Releases
Unchanged in 2 releases since Debian 8 (Jessie).