cinnamon-extension-tool man page

cinnamon-extension-tool — extension management program

Description

cinnamon-extension-tool runs the graphical user interface allowing to manage the extensions to be used in cinnamon.

See Also

cinnamon-settings(1)

Info

2012-07-23 Cinnamon cinnamon manual