diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-06-11 12:00:41 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-06-11 12:00:41 +0200 |
commit | 9398c208679266ba12fce92d59085cc0c8d2c3d1 (patch) | |
tree | b20b81e0382d462e27ffc3708c837d4fa7e4807a /debian | |
parent | 5c853480c724cb3ff4670be6d2b5ac59f8407e14 (diff) |
disable most of the pp stuff
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/series | 6 |
1 files 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 |