From 9398c208679266ba12fce92d59085cc0c8d2c3d1 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 11 Jun 2014 12:00:41 +0200
Subject: disable most of the pp stuff

---
 debian/patches/series | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/patches/series b/debian/patches/series
index f4d9ec88..d92a444b 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -45,6 +45,6 @@ fix-net_rcv_msg.patch
 0001-term-improve-the-demuxer.patch
 0002-hurd-fix-receiver-lookup-in-termctty_open_terminal.patch
 0003-libdiskfs-add-permission-check-to-file_chflags.patch
-pp.patch
-pp-dde.patch
-pp-random.patch
+#pp.patch
+#pp-dde.patch
+#pp-random.patch
-- 
cgit v1.2.3