linuxmint/mintmenu — pull request #19 by gioi (2012-12-05 17:19:03+00:00)
Title: Adding .gitignore

Often small things are important.