gm10 208e991a44 fix issue with a path		2019-01-28 18:19:11 +01:00
..
plugins	fix issue with a path	2019-01-28 18:19:11 +01:00
search_engines	- more cleanup, and speed-up	2019-01-26 02:30:48 +01:00
applications.list	Favorites: Remove pidgin, add pix, fix gnome-calculator..	2018-05-15 15:13:06 +01:00
dotted.png	Initial commit	2009-07-27 12:45:34 +02:00
icon.svg	Generic names	2009-07-29 22:50:43 +02:00
keybinding.py	remove some more unneeded files, few left-over cleanups	2019-01-26 03:07:54 +01:00
mintMenu.glade	glade part #1	2016-09-06 17:52:12 +01:00
mintMenu.py	more cleanup, thx Codacity	2019-01-27 22:47:59 +01:00
mintMenuConfig.glade	Remove the ability to set a custom border	2017-05-01 13:09:09 -07:00
mintMenuConfig.py	move some external scripts to python3 already	2019-01-26 03:46:14 +01:00
pointerMonitor.py	remove some more unneeded files, few left-over cleanups	2019-01-26 03:07:54 +01: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