diff options
| author | Philip Goto | 2018-12-30 20:48:02 +0100 |
|---|---|---|
| committer | Philip Goto | 2018-12-30 20:48:02 +0100 |
| commit | 4747c79ee0e9480c6b5a7d29f2de74f0eddd404a (patch) | |
| tree | 51e0b4678e0e1dc7a918c96a123713e3c4d03c23 /gnome-music.install | |
| parent | 7d05957972498909c49f28adc5132cd1abf1dd53 (diff) | |
| download | aur-4747c79ee0e9480c6b5a7d29f2de74f0eddd404a.tar.gz | |
Update to match repo version
Diffstat (limited to 'gnome-music.install')
| -rw-r--r-- | gnome-music.install | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gnome-music.install b/gnome-music.install deleted file mode 100644 index 2b172e29cef0..000000000000 --- a/gnome-music.install +++ /dev/null @@ -1,13 +0,0 @@ -post_install() { - glib-compile-schemas usr/share/glib-2.0/schemas - update-desktop-database -q - gtk-update-icon-cache -q -t -f usr/share/icons/hicolor -} - -post_upgrade() { - post_install -} - -post_remove() { - post_install -} |