diff options
author | Fabricio Alcalde <f@lcald.com.ar> | 2013-04-27 15:40:07 +0000 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 15:59:32 +0200 |
commit | f2c36099f70ef41e23ca09bff36a6f83de07b519 (patch) | |
tree | 3c14798b7caa7a9837a40e1eb272787dc9a75d89 /debian/patches/fixdesktopfile.patch | |
parent | 9ac60f8220b3fc4dfe973dfd97b6b7a05a76ae72 (diff) | |
parent | 47aa8b00b2b11df13a100489e0f904a4947177ef (diff) |
Import Debian changes 1.4.7-1
mcu8051ide (1.4.7-1) unstable; urgency=low
* New upstream release.
* Fixed spelling error in the manpage.
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 |