diff options
| author | Paulb23 <p_batty@hotmail.co.uk> | 2018-10-08 20:26:45 +0100 |
|---|---|---|
| committer | Paulb23 <p_batty@hotmail.co.uk> | 2019-06-01 14:05:44 +0100 |
| commit | eed3753357fd432d37479f24a6c8718b3f80433a (patch) | |
| tree | f904a5b3e388c670f24279307fd812e8512e4c9a /doc/tools/doc_merge.py | |
| parent | cfb9709c10483f7f58a8b96248c23d0a5f1d5ad7 (diff) | |
Reload text shaders when externaly edited, issue 19852
Diffstat (limited to 'doc/tools/doc_merge.py')
0 files changed, 0 insertions, 0 deletions