diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-14 14:31:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-14 14:31:54 +0100 |
| commit | 415a901b685997c8949b9705ef5b8fe6eaeda613 (patch) | |
| tree | 96eeaf1ebffe8237867c175b14173606fa53915b /thirdparty/pcre2/LICENCE | |
| parent | 19d6d3d136a6cf20f7e1e8eba473097653f46f9f (diff) | |
| parent | 17ea60bb926c82ada329b53b293dd05437216efa (diff) | |
Merge pull request #36194 from dragmz/dragmz/exit_crash_fix
Fix crash when closing project manager
Diffstat (limited to 'thirdparty/pcre2/LICENCE')
0 files changed, 0 insertions, 0 deletions