diff options
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 deleted file mode 100644 index bb71714..0000000 --- a/debian/patches/series +++ /dev/null @@ -1,4 +0,0 @@ -java_ignore_nonexistent_files.patch -remove_stale_files.patch -parallel_build.patch -manpages.patch |