diff options
author | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 15:59:31 +0200 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 15:59:31 +0200 |
commit | 47aa8b00b2b11df13a100489e0f904a4947177ef (patch) | |
tree | b35c9acc778ea2f761f3c549f7bee2f4491b3144 /mcu8051ide.desktop | |
parent | 5b8466f7fae0e071c0f4eda13051c93313910028 (diff) |
Import Upstream version 1.4.7
Diffstat (limited to 'mcu8051ide.desktop')
-rw-r--r-- | mcu8051ide.desktop | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mcu8051ide.desktop b/mcu8051ide.desktop index 3b8fa29..8fde2d6 100644 --- a/mcu8051ide.desktop +++ b/mcu8051ide.desktop @@ -7,7 +7,7 @@ Exec=mcu8051ide GenericName=MCU 8051 IDE GenericName[en_US]=MCU 8051 IDE Icon=mcu8051ide -MimeType= +MimeType=application/x-mcu8051ide-project Name=MCU 8051 IDE Name[en_US]=MCU 8051 IDE StartupNotify=false |