diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-25 08:46:03 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-25 08:46:03 +0100 |
commit | f55aae503e65de9794acfe201b99b95f23c242e0 (patch) | |
tree | aec1b695e64fc5945d13d912736cb108d9c242b1 /debian/patches/series | |
parent | 71a7413c7165fccca1c039953965245eb2f03f6f (diff) |
rm mutable-types.patch
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index a3e5e56..9825c75 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,5 +4,4 @@ 60_bigmem.patch 70_dde.patch -mutable-types.patch protected_payload.patch |