linuxmint/Cinnamon — pull request #1507 by mickaelalbertus (2012-12-15 14:04:30+00:00)
Title: Updating all cinnamon extensions

It gets all the cinnamon extensions available on the website. The disadvantage is that the proposed extensions will not install all the same way, but at the extensions that arranges.
It's my first pull request so if I make mistakes I apologize.