diff options
Diffstat (limited to 'pcr/gringo/PKGBUILD')
| -rw-r--r-- | pcr/gringo/PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pcr/gringo/PKGBUILD b/pcr/gringo/PKGBUILD index 3f184b95e..abd1a017a 100644 --- a/pcr/gringo/PKGBUILD +++ b/pcr/gringo/PKGBUILD @@ -1,4 +1,4 @@ -# Maintainer (Arch): Vincent Bernardoff <vb@luminar.eu.org> +# Maintainer (arch): Vincent Bernardoff <vb@luminar.eu.org> # Maintainer: Omar Vega Ramos <ovruni@gnu.org.pe> pkgname=gringo |