summarylogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--PKGBUILD1
1 files changed, 0 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 2941ebb7c844..a0be3a4281c6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,5 +1,4 @@
# Maintainer: Daniel Peukert <dan.peukert@gmail.com>
-# Contributor: Jakob Gahde <j5lx@fmail.co.uk>
_projectname='ppx_cold'
pkgname="ocaml-$_projectname"
pkgver='0.13.0'