diff options
author | Andrej Shadura <andrew.shadura@collabora.co.uk> | 2019-02-08 16:34:56 +0100 |
---|---|---|
committer | Andrej Shadura <andrew.shadura@collabora.co.uk> | 2019-02-08 16:34:56 +0100 |
commit | b7bbdfe227d8e7f5115339d24a2821061452f866 (patch) | |
tree | 6ccbe1b90e9ceea4a292b853c453d5ce11a51f69 /debian/patches/series | |
parent | c027185313b0674610e51cf7b253435ad3501d0e (diff) |
Drop the patch applied upstreamdebian/1.0.0+git20190123.d6e16be-1archive/debian/1.0.0+git20190123.d6e16be-1
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 77ef620..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -sync-manpage.patch |