diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-20 22:03:34 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-20 22:03:34 +0100 |
| commit | e9d7ec79422b25cfa62070a40f6f961412879087 (patch) | |
| tree | dc2173570cf76a4568350462b2fbad57e1e96cf1 /debian/patches/series | |
| parent | 15243344dbf0e44764d1fa083b81903d613a43ba (diff) | |
drop old patch series
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/debian/patches/series b/debian/patches/series index 68d7fb27..cfa5c51f 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -58,17 +58,3 @@ startup-avoid-broken-puts.patch mach-defpager-fix-build.patch -0001-Makeconf-handle-the-gnumach-protocol.patch -0002-proc-gracefully-handle-failure-to-increase-priority.patch -0003-startup-also-open-console-for-reading.patch -0004-boot-drop-bootstrap-compat-code.patch -0005-boot-remove-unused-function-boot_script_read_file.patch -0006-boot-drop-obsolete-device-procedures.patch -0007-boot-support-ds_device_get_status-with-flavor-DEV_GE.patch -0008-boot-implement-pseudo-time-device.patch -0009-boot-improve-the-demuxer.patch -0010-Makeconf-handle-the-task_notify-protocol.patch -0011-proc-register-for-new-task-notifications.patch -0012-proc-implement-proc_make_task_namespace.patch -0013-hurd-add-proc_make_task_namespace.patch -0014-proc-fix-build.patch |