/misc/

• ../
• cinnamon-translations
• gnome-devel-docs
• gnome-icon-theme-extras
• gnome-icon-theme
• gnome-user-docs