diff options
Diffstat (limited to 'thirdparty/misc')
| -rw-r--r-- | thirdparty/misc/patches/clipper-exceptions.patch (renamed from thirdparty/misc/clipper-exceptions.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/thirdparty/misc/clipper-exceptions.patch b/thirdparty/misc/patches/clipper-exceptions.patch index 537afd59b3..537afd59b3 100644 --- a/thirdparty/misc/clipper-exceptions.patch +++ b/thirdparty/misc/patches/clipper-exceptions.patch |