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 -} |