diff options
author | Gard Spreemann <gspr@nonempty.org> | 2021-12-31 11:14:04 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2021-12-31 11:14:04 +0100 |
commit | daf8a1d638f08d8d3d1a3976bd8539b0ac0d3711 (patch) | |
tree | e203213b1776b6c8d96012ad9d11f105fb2fbcbb /debian/patches/series | |
parent | a5e4ecb7ae9ff950dcb54aa155f1d12c6bdb8c7a (diff) |
Delete crude patch for removing benchmarks
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 a82b8eb..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -0001-Remove-benchmarks-to-prevent-installation-in-wrong-p.patch |