From e8a7a95aceee3cadc1c19e60f6023393b0abde64 Mon Sep 17 00:00:00 2001
From: Christian Neukirchen <chneukirchen@gmail.com>
Date: Thu, 15 Jan 2015 13:14:50 +0100
Subject: [PATCH] ProofGeneral: ignore pre-releases.

---
 srcpkgs/ProofGeneral/update | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 srcpkgs/ProofGeneral/update

diff --git a/srcpkgs/ProofGeneral/update b/srcpkgs/ProofGeneral/update
new file mode 100644
index 0000000000..8758aff9cb
--- /dev/null
+++ b/srcpkgs/ProofGeneral/update
@@ -0,0 +1 @@
+ignore="*pre*"