diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-03-21 03:22:19 +0000 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-03-21 03:22:19 +0000 |
commit | d0f33415f254cb2fee06fd89f9cfed4535322f37 (patch) | |
tree | 66c13d72eac4f0110772b4675231c891334137bc /libre/kile-libre/kile.install | |
parent | 7e108c74958ec076a3734822f61f145d0d69547f (diff) |
Fri Mar 21 03:19:28 UTC 2014
Diffstat (limited to 'libre/kile-libre/kile.install')
-rw-r--r-- | libre/kile-libre/kile.install | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/libre/kile-libre/kile.install b/libre/kile-libre/kile.install deleted file mode 100644 index 9fe93eeac..000000000 --- a/libre/kile-libre/kile.install +++ /dev/null @@ -1,13 +0,0 @@ -post_install() { - xdg-icon-resource forceupdate --theme hicolor &> /dev/null - update-mime-database usr/share/mime &> /dev/null - update-desktop-database -q -} - -post_upgrade() { - post_install -} - -post_remove() { - post_install -} |