mintmenu/usr/lib/linuxmint/mintMenu
2017-08-26 17:35:45 +02:00
..
plugins fix indent (#183) 2017-08-26 17:35:45 +02:00
search_engines Search engines: Replace Google CSE with DDG 2016-11-23 15:13:29 +00:00
applications.list Add Cinnamon support 2016-12-07 01:43:01 +00:00
compile.py fix indent (#183) 2017-08-26 17:35:45 +02:00
dotted.png Initial commit 2009-07-27 12:45:34 +02:00
icon.png Generic names 2009-07-29 22:50:43 +02:00
icon.svg Generic names 2009-07-29 22:50:43 +02:00
keybinding.py fix indent (#183) 2017-08-26 17:35:45 +02:00
mint-logo.svg Changed logo back to mint logo, and added hover icon 2009-11-06 13:22:35 +00:00
mintMenu.glade glade part #1 2016-09-06 17:52:12 +01:00
mintMenu.png Initial commit 2009-07-27 12:45:34 +02:00
mintMenu.py fix indent (#183) 2017-08-26 17:35:45 +02:00
mintMenuConfig.glade Remove the ability to set a custom border 2017-05-01 13:09:09 -07:00
mintMenuConfig.py fix indent (#183) 2017-08-26 17:35:45 +02:00
pointerMonitor.py fix indent (#183) 2017-08-26 17:35:45 +02:00
popup.xml Fixing prefs app 2013-03-08 20:06:06 -05:00
visualisation-logo.png changelog, removed copyright/USP, changed default applet icon 2010-09-23 18:38:05 +01:00