diff options
| author | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
| commit | b2a6f1b28b7fa31088cab9a90b0f5ab97948534d (patch) | |
| tree | afa7b467e44b704b69c66862852a8c3118b8e308 /extra/gnome-mines | |
| parent | 7c151ac5589d3dbef5972f69a62b847ecf565bfa (diff) | |
Thu Oct 31 01:09:50 PDT 2013
Diffstat (limited to 'extra/gnome-mines')
| -rw-r--r-- | extra/gnome-mines/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/gnome-mines/PKGBUILD b/extra/gnome-mines/PKGBUILD index 8fe14f8d8..de78fbf93 100644 --- a/extra/gnome-mines/PKGBUILD +++ b/extra/gnome-mines/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 196385 2013-10-12 16:47:50Z heftig $ +# $Id: PKGBUILD 198018 2013-10-30 12:18:05Z allan $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Contributor: Jan de Groot <jgc@archlinux.org> @@ -12,7 +12,7 @@ depends=('desktop-file-utils' 'hicolor-icon-theme' 'gtk3' 'librsvg') makedepends=('intltool' 'itstool' 'gobject-introspection') conflicts=('gnome-games') replaces=('gnome-games') -options=('!emptydirs' '!libtool') +options=('!emptydirs') install=gnome-mines.install url="https://live.gnome.org/Mines" groups=('gnome-extra') |