diff options
author | Fabricio Alcalde <f@lcald.com.ar> | 2018-05-08 17:12:11 +0200 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 17:12:11 +0200 |
commit | 70c6cd52766cf7b15bd629080ced2ff0b7a3319d (patch) | |
tree | c927a899a6db89986c81a8555b2ea447742fc798 | |
parent | c821b2aa98124c60fc0a5dab3e10ea3aedf19cb4 (diff) |
Removed deprecated options and added Keywords
Removed TerminalOptions and Encoding=UTF8 and added some keywords
Gbp-Pq: Name fixdesktopfile.patch
-rw-r--r-- | mcu8051ide.desktop | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mcu8051ide.desktop b/mcu8051ide.desktop index f704184..5d0fbab 100644 --- a/mcu8051ide.desktop +++ b/mcu8051ide.desktop @@ -17,3 +17,4 @@ Version=1.0 X-DCOP-ServiceType= X-KDE-SubstituteUID=false X-KDE-Username= +Keywords=mcu8051ide;8051;ide |