diff options
Diffstat (limited to 'debian/patches/fixdesktopfile.patch')
-rw-r--r-- | debian/patches/fixdesktopfile.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/debian/patches/fixdesktopfile.patch b/debian/patches/fixdesktopfile.patch new file mode 100644 index 0000000..81f6797 --- /dev/null +++ b/debian/patches/fixdesktopfile.patch @@ -0,0 +1,23 @@ +Description: Removed deprecated options in .desktop file + Removed TerminalOptions and Encoding=UTF8. +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,7 +11,6 @@ + Name[en_US]=MCU 8051 IDE + StartupNotify=false + Terminal=false +-TerminalOptions= + TryExec=mcu8051ide + Type=Application + Version=1.0 |