summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-06-19 23:13:37 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-06-19 23:13:37 +0000
commitbd1a25a9faf5f5c014359b59d989986bafa92758 (patch)
tree19b994bdc8f2e8ef04a06e77f143662f5301d4cb /debian/patches/series
parent9dab3afeac17312762737b8d357b57a0bdb22f17 (diff)
parent8825b9799e0348283c16f4ba30c0be48a33a3d24 (diff)
Merge branch 'master' of git.debian.org:/git/pkg-hurd/hurd
Conflicts: debian/changelog
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 299b9452..2e094756 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -41,3 +41,4 @@ libmachdev.patch
exec_filename_exec.patch
exec_filename_fs.patch
exec_filename_use.patch
+doc-fix.patch