diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-12 22:44:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-12 22:44:55 +0200 |
| commit | 3b53db750a0034fd939936d1729d90676896024e (patch) | |
| tree | b47bbefc005a642b4d48a176f1d758e83663f1cb /main/splash.png | |
| parent | f410e7a8a9b14fd9f5c210afcc9e3519e9ce246d (diff) | |
| parent | eed3753357fd432d37479f24a6c8718b3f80433a (diff) | |
Merge pull request #22863 from Paulb23/reload_shader_external_change_issue_19852
Reload text shaders when externally edited, issue 19852
Diffstat (limited to 'main/splash.png')
0 files changed, 0 insertions, 0 deletions