diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-05-06 13:29:17 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-05-06 13:29:17 +0200 |
commit | d6a7acde84ff7b1f6747dabf3636240351e138c7 (patch) | |
tree | a5c409190ac1d20fc7a7908f68a0a031947484ab /debian/patches/series | |
parent | 91aee0e0f2e0e927d98a8c40d85d4a41f5f5eb22 (diff) |
drop pointless libmachdev.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 23af2313..929c96cf 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -33,7 +33,6 @@ libdde_devres.patch libdde_pr_cont.patch libdde_rx_queue.patch libdde_rcu.patch -libmachdev.patch mount.patch proc_set_init_task.patch newRPC.patch |