diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-02 11:30:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-02 11:30:16 +0200 |
| commit | 98879be2766de1ec54bb3478e09538289ca66370 (patch) | |
| tree | 06388835e13c4f2310e092f563c1572136ca5a0d /thirdparty/zstd/common | |
| parent | c486b8dac04edfe2d35f1ee0bc0b3b410f4175ae (diff) | |
| parent | 05de0eafabc4238d79fac285c5639e5556e67d98 (diff) | |
Merge pull request #27510 from fire/screenshot_editor
Add editor screenshot on control - f12.
Diffstat (limited to 'thirdparty/zstd/common')
0 files changed, 0 insertions, 0 deletions