diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2020-07-01 22:59:45 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2020-07-02 00:15:43 +0200 |
commit | 37a124c7180dfc83c71d872a3b7108818fc572b6 (patch) | |
tree | 8d2c1fc7349c713d2b7c02ad2afda4fde74b5824 /debian/patches/series | |
parent | b1d8197dd9a833bf6f3b83342c1c66622deeceb5 (diff) |
d/patches/Ignore-custom-lib-PATH.patch: Remove patch, applied upstream.
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 index 991f992..e237c35 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,2 @@ -Ignore-custom-lib-PATH.patch Mention-the-Debian-BTS-in-the-manpages.patch Skip-randomized-tests.patch |