diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-18 14:30:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-18 14:30:18 +0100 |
| commit | 7b4e45b794d33ad5277d6d5f99efc7b8cc1fd2dc (patch) | |
| tree | 8386f7514aad7389d5bd85667e4002a11b724da5 /thirdparty/zstd | |
| parent | 3c5762303f599abaa94aef72d5b0786b4ad1dfff (diff) | |
| parent | 61d1604da228e898d133b4f312afa69957c8e9d5 (diff) | |
Merge pull request #15803 from Noshyaar/pm
ProjectManager: show error/warning by default
Diffstat (limited to 'thirdparty/zstd')
0 files changed, 0 insertions, 0 deletions