diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-24 11:05:14 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-24 11:05:14 +0200 |
| commit | 66dcc06355d085a72d857b8a69284eb51d0392f2 (patch) | |
| tree | e3234cc8353b3f68aa138f72af102539c6dc8425 /devtools32 | |
| parent | b8ad6720f57a1f6fbc8cd46c2081173d3c8e93e4 (diff) | |
| download | archlinuxewe-66dcc06355d085a72d857b8a69284eb51d0392f2.tar.xz | |
devtools32: now in archlinux32's releng repository
Diffstat (limited to 'devtools32')
| -rw-r--r-- | devtools32/PKGBUILD | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devtools32/PKGBUILD b/devtools32/PKGBUILD index e81f4bd6a..7e843a616 100644 --- a/devtools32/PKGBUILD +++ b/devtools32/PKGBUILD @@ -2,6 +2,8 @@ # Maintainer: Erich Eckner <arch at eckner dot net> # Contributor: Pierre Schmitz <pierre@archlinux.de> +# repo: releng + pkgname=devtools32 pkgver=20171218 pkgrel=2 |