diff options
| author | Guillem Jover <guillem@debian.org> | 2009-11-28 17:24:51 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2009-11-28 17:24:51 +0000 |
| commit | 0e99bb91c5508e41d71633c3a0ce43ff85596339 (patch) | |
| tree | 09b9cb49c74d40a9db1abb839808378c61f97b42 /debian/patches/series | |
| parent | b9e28e756ed492f0e64e52519a19f28d214bd070 (diff) | |
Update gnumach snapshot
Remove patches merged upstream.
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/patches/series b/debian/patches/series index 3a9681f..92091ef 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,9 +1,5 @@ 00_clean_gfdl.patch -05_halt_on_panic_flag.patch 10_cdromlock.patch -12_sis900.patch 13_ide_dma.patch -15_mem_obj_proxy.patch -20_xmm_support.patch 24_pci_irq_fix.patch 40_iopl_mmap.patch |