diff options
Diffstat (limited to 'debian')
-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/ |