diff options
author | Étienne Mollier <emollier@debian.org> | 2023-06-12 22:52:32 +0200 |
---|---|---|
committer | Étienne Mollier <emollier@debian.org> | 2023-06-12 22:52:32 +0200 |
commit | ac6ca23cfd2d2047f7b3dd0d34d0e9d7091e0b4d (patch) | |
tree | 34fac44348639f655be5148230c6500a09f31ddf | |
parent | ba0d8c50fc172879b496e9b481c670353d788190 (diff) |
properly-check-for-exp10.patch: forwarding not-needed.
The patch depends on a addcmake.patch which was rejected upstream.
-rw-r--r-- | debian/patches/properly-check-for-exp10.patch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/properly-check-for-exp10.patch b/debian/patches/properly-check-for-exp10.patch index 5954a42..9016180 100644 --- a/debian/patches/properly-check-for-exp10.patch +++ b/debian/patches/properly-check-for-exp10.patch @@ -1,6 +1,7 @@ From: Fabian Klötzl <fabian@kloetzl.info> Date: Tue, 22 Aug 2017 10:18:47 +0200 Subject: properly check for exp10 +Forwarded: not-needed --- CMakeLists.txt | 10 ++++++++++ |