linuxmint/Cinnamon — pull request #1908 by Lusito (2013-04-23 18:42:24+00:00)
Title: Removing dead code panelMenu.js

title says it all