Adrian Perez de Castro 5136369c18 Properly detect changes in .desktop files
This fixes the shell not picking updates to the contents of the underlying
.desktop files for application launchers, or when a .desktop file is
overriden by a user-installed one under ~/.local/share/applications

https://bugzilla.gnome.org/show_bug.cgi?id=773636
2017-01-23 17:25:39 -06:00
..
2016-09-11 19:20:00 +02:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2016-12-07 11:34:15 -08:00
2015-05-05 16:37:41 +02:00
2015-10-15 22:59:49 +02:00
2015-10-15 22:58:28 +02:00