diff options
Diffstat (limited to 'gnome-shell-extension-mediaplayer.install')
| -rw-r--r-- | gnome-shell-extension-mediaplayer.install | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gnome-shell-extension-mediaplayer.install b/gnome-shell-extension-mediaplayer.install deleted file mode 100644 index 29753c3fa523..000000000000 --- a/gnome-shell-extension-mediaplayer.install +++ /dev/null @@ -1,13 +0,0 @@ -post_install() { - glib-compile-schemas usr/share/glib-2.0/schemas/ -} - -post_upgrade() { - post_install -} - -post_remove() { - post_install -} - -# vim: ts=2 sw=2 et: |