diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-02 12:54:08 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-02 12:54:08 -0500 |
commit | 3cffab767672f518757f9c797cb4ef8280eb981d (patch) | |
tree | dda157daca4878eb5cb91dafe7ede05dface6942 /libre/jedit/jedit.install | |
parent | 231a1da7f46df7f9dc2b7f18217954f38b2f11f0 (diff) |
jedit-5.3.0-4.parabola1: rebuild
Diffstat (limited to 'libre/jedit/jedit.install')
-rw-r--r-- | libre/jedit/jedit.install | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/libre/jedit/jedit.install b/libre/jedit/jedit.install deleted file mode 100644 index 7c0a944ef..000000000 --- a/libre/jedit/jedit.install +++ /dev/null @@ -1,13 +0,0 @@ -post_upgrade() { - update-desktop-database -q -} - -post_install() { - post_upgrade -} - -post_remove() { - post_upgrade -} - -# vim:set ts=2 sw=2 et: |