diff options
Diffstat (limited to 'distro/pkg/deb/patches/series')
-rw-r--r-- | distro/pkg/deb/patches/series | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro/pkg/deb/patches/series b/distro/pkg/deb/patches/series deleted file mode 100644 index 3a10aac9..00000000 --- a/distro/pkg/deb/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Sync-the-linuxdoc-mangled-files-with-linuxdoc-tools_.patch |