summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-01-23 02:27:03 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-01-23 02:27:03 +0100
commit08e734472280d6f87a2de15684b1b1b97d1d8920 (patch)
tree8e2e9f58f95a5dfec062e79f6b85b77a7fc6198d /debian/patches
parentf3d6454fdd38b5a745c15e053bbf2a08c7883f37 (diff)
drop old patch series
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/series3
-rw-r--r--debian/patches/task-load.patch (renamed from debian/patches/0001-XXX.patch)0
2 files changed, 1 insertions, 2 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 25a736d..102e3c8 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -6,5 +6,4 @@
Add-some-padding-to-make-objects-fit-a-single-cache-.patch
vm_cache_policy.patch
-0001-XXX.patch
-
+task-load.patch
diff --git a/debian/patches/0001-XXX.patch b/debian/patches/task-load.patch
index bae7574..bae7574 100644
--- a/debian/patches/0001-XXX.patch
+++ b/debian/patches/task-load.patch