From 38b514a8c892416a5d11f535071fb12c6d3490f3 Mon Sep 17 00:00:00 2001 From: Andrej Shadura Date: Tue, 8 May 2018 16:21:15 +0200 Subject: Refresh the desktop file patch --- debian/patches/fixdesktopfile.patch | 17 +---------------- 1 file changed, 1 insertion(+), 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 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= -- cgit v1.2.3