diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-09-10 12:57:18 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-09-10 12:57:18 -0500 |
commit | d933fb5635f8f59b1496252a94161331044459e1 (patch) | |
tree | 6e68ebd5a7f74c316e7d0bf39e79c6657002f9f8 /pcr/pumpa/pumpa.install | |
parent | 6f47b3a3e634f73e7a3992a240d21a6f3ba1f173 (diff) |
pumpa-0.9.2-1: updating version
Diffstat (limited to 'pcr/pumpa/pumpa.install')
-rw-r--r-- | pcr/pumpa/pumpa.install | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pcr/pumpa/pumpa.install b/pcr/pumpa/pumpa.install deleted file mode 100644 index 029294d67..000000000 --- a/pcr/pumpa/pumpa.install +++ /dev/null @@ -1,12 +0,0 @@ -post_install() { - xdg-icon-resource forceupdate --theme hicolor 2> /dev/null - update-desktop-database -q -} - -post_upgrade() { - post_install -} - -post_remove() { - post_install -} |