Manpages of cinnamon in Debian stretch

• cinnamon-extension-tool(1)
• cinnamon-launcher(1)
• cinnamon-looking-glass(1)
• cinnamon-menu-editor(1)
• cinnamon-screensaver-lock-dialog(1)
• cinnamon-settings(1)
• cinnamon(1)
• cinnamon2d(1)
• gnome-session-cinnamon(1)
• gnome-session-cinnamon2d(1)