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/gedit | |
parent | 7c151ac5589d3dbef5972f69a62b847ecf565bfa (diff) |
Thu Oct 31 01:09:50 PDT 2013
Diffstat (limited to 'extra/gedit')
-rw-r--r-- | extra/gedit/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/gedit/PKGBUILD b/extra/gedit/PKGBUILD index eda892b1b..a7795c98e 100644 --- a/extra/gedit/PKGBUILD +++ b/extra/gedit/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 196527 2013-10-14 18:17:47Z heftig $ +# $Id: PKGBUILD 197979 2013-10-30 12:03:10Z allan $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Contributor: Jan de Groot <jgc@archlinux.org> @@ -12,7 +12,7 @@ depends=(gtksourceview3 gsettings-desktop-schemas libpeas enchant iso-codes libs makedepends=(yelp-tools intltool zeitgeist) optdepends=('zeitgeist: Zeitgeist plugin') groups=(gnome-extra) -options=('!libtool' '!emptydirs') +options=('!emptydirs') url="http://www.gnome.org" install=gedit.install source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver%.*}/$pkgname-$pkgver.tar.xz) |