diff options
author | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 16:21:15 +0200 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 16:21:15 +0200 |
commit | 38b514a8c892416a5d11f535071fb12c6d3490f3 (patch) | |
tree | fb9c1766f664c8be136f7f61e5ce358c2b113bde /debian | |
parent | d27a9190d40b7198d16b4b2afdc793a30b597af5 (diff) |
Refresh the desktop file patch
Diffstat (limited to 'debian')
-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= |