diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-10 07:45:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-10 07:45:24 +0100 |
| commit | eef1e3bb985e28c90893ea64d5ed4598814c9427 (patch) | |
| tree | 592ff2dd404dbe42b12c3917328030ad5353634c /thirdparty/libwebp/dec/webp_dec.c | |
| parent | 192a4d7de5c557bdfe83bd180cd603d7e280ebd4 (diff) | |
| parent | c57fc8ee7df9113be6c0857ceff51bfed5b9f8bd (diff) | |
Merge pull request #12470 from djrm/pr_fix_editor_settings
Fixed editor settings disappearing.
Diffstat (limited to 'thirdparty/libwebp/dec/webp_dec.c')
0 files changed, 0 insertions, 0 deletions