linuxmint/Cinnamon — pull request #896 by bimsebasse (2012-07-11 07:58:03+00:00)
Title: Thorough theme cleanup.

All Gnome Shell only code removed, a little reordering and some general tidying up. Not sure what to do with the whole end session bit, it is not currently used in Cinnamon on either fedora 17, Maya or Pangolin but it may be in other distros? Commented out, not deleted.