summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-25 22:37:37 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-25 22:37:37 +0200
commit3d8f35468ea748c634095741531a71f9ee703d56 (patch)
tree895b29dc64ae7c77a741a738100fe42d9f597115 /debian/patches/series
parent77e56d50bed29c1554d37e9d99ac81b7ef1ead6f (diff)
drop merged patches
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series2
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 3577323..029e46a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -13,5 +13,3 @@ sysenter0001-yyy-sysenter-prototype.patch
vm-cache-policy0001-VM-cache-policy-change.patch
vm-cache-policy0002-vm-keep-track-of-clean-pages.patch
vm-cache-policy0003-vm-evict-clean-pages-first.patch
-clock_boottime0001-include-provide-time-value-substraction.patch
-clock_boottime0002-kern-add-boot-time-clock-use-it-for-time-stamps.patch