diff options
-rw-r--r-- | debian/patches/fixdesktopfile.patch | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/debian/patches/fixdesktopfile.patch b/debian/patches/fixdesktopfile.patch index 16d878a..e333e08 100644 --- a/debian/patches/fixdesktopfile.patch +++ b/debian/patches/fixdesktopfile.patch @@ -5,22 +5,7 @@ Author: Fabricio Alcalde <f@lcald.com.ar> This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ --- a/mcu8051ide.desktop +++ b/mcu8051ide.desktop -@@ -2,7 +2,6 @@ - Categories=Development; - Comment=Graphical IDE for MCS-51 based microcontrollers - Comment[en_US]=Graphical IDE for MCS-51 based microcontrollers --Encoding=UTF-8 - Exec=mcu8051ide - GenericName=MCU 8051 IDE - GenericName[en_US]=MCU 8051 IDE -@@ -12,10 +11,10 @@ - Name[en_US]=MCU 8051 IDE - StartupNotify=false - Terminal=false --TerminalOptions= - TryExec=mcu8051ide - Type=Application - Version=1.0 +@@ -17,3 +17,4 @@ X-DCOP-ServiceType= X-KDE-SubstituteUID=false X-KDE-Username= |