diff options
author | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 16:20:53 +0200 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 16:20:53 +0200 |
commit | d27a9190d40b7198d16b4b2afdc793a30b597af5 (patch) | |
tree | cb272083634a0af73e804d6c956a8f482e903d63 | |
parent | b5151f5f3c11eecf5f05c2756804be098578c626 (diff) |
Install AppData file
-rw-r--r-- | debian/mcu8051ide.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/mcu8051ide.install b/debian/mcu8051ide.install index f3acbd3..47f0e93 100644 --- a/debian/mcu8051ide.install +++ b/debian/mcu8051ide.install @@ -26,5 +26,6 @@ translations/ usr/share/mcu8051ide/ # Install execution wrappers mcu8051ide usr/bin/ mcu8051ide.png usr/share/pixmaps/ +mcu8051ide.appdata.xml usr/share/appdata/ mcu8051ide.desktop usr/share/applications/ application-x-mcu8051ide.xml usr/share/mime/packages/ |