diff options
Diffstat (limited to 'workbench.install')
| -rw-r--r-- | workbench.install | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/workbench.install b/workbench.install deleted file mode 100644 index 47b20518d56f..000000000000 --- a/workbench.install +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -post_install() { - update-mime-database usr/share/mime &> /dev/null - xdg-icon-resource forceupdate --theme hicolor &> /dev/null - update-desktop-database -q -} - -post_upgrade() { - post_install -} - -post_remove() { - post_install -} - |