wok-current diff distccmon-gui/stuff/distccmon-gui.desktop @ rev 21341

updated gnuradio again (3.7.10.1 -> 3.7.13.4)
author Hans-G?nter Theisgen
date Sat Apr 20 14:21:52 2019 +0100 (2019-04-20)
parents d6c619cc0e8b
children
line diff
     1.1 --- a/distccmon-gui/stuff/distccmon-gui.desktop	Wed Mar 07 15:31:19 2012 -0800
     1.2 +++ b/distccmon-gui/stuff/distccmon-gui.desktop	Sat Apr 20 14:21:52 2019 +0100
     1.3 @@ -1,8 +1,7 @@
     1.4  [Desktop Entry]
     1.5 -Encoding=UTF-8
     1.6 +Type=Application
     1.7  Name=Distcc Monitor
     1.8  Exec=distccmon-gui
     1.9  Icon=distccmon-gui
    1.10 -Type=Application
    1.11 +StartupNotify=true
    1.12  Categories=Development;
    1.13 -StartupNotify=true