summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-28 10:39:26 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-28 10:39:26 +0000
commitf966eb26edd102d2cc16ad1625d9bf6cdadb8430 (patch)
treead58601d1b583323b7c456755c7fbf402fd675e2 /debian/patches
parent62f96ef747efc2494f0720552afa2a8bbe7ddd06 (diff)
parent43f76a844a02dcc5df450a632bd5e35cf5bae0a6 (diff)
Merge branch 'master' of git.debian.org:/git/pkg-hurd/gnumach
Conflicts: debian/changelog
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/70_dde.patch3
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index 69a5e2e..9d4a3bd 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -347,9 +347,6 @@ index 0000000..6fca328
+#define KERNEL_SERVER 1
+
+#include <mach/experimental.defs>
-diff --git a/include/device/intr.defs b/include/device/intr.defs
-new file mode 100644
-index 0000000..368b96c
--- /dev/null
+++ b/include/mach/experimental.defs
@@ -0,0 +1,100 @@