diff options
| author | mhilbrunner <m.hilbrunner@gmail.com> | 2017-09-28 18:30:20 +0200 |
|---|---|---|
| committer | mhilbrunner <m.hilbrunner@gmail.com> | 2017-09-30 00:48:16 +0200 |
| commit | cfd75f7a4eb7c2814fc198989ceac87fe37080d1 (patch) | |
| tree | 6a1971924fcf8471c2078e3303cad4fc68db5132 /doc/tools/doc_merge.py | |
| parent | 4f39ce32b9195405f934445b20059e86632b47f9 (diff) | |
| download | redot-engine-cfd75f7a4eb7c2814fc198989ceac87fe37080d1.tar.gz | |
Editor: Run validation on every text change, not only inserts
Diffstat (limited to 'doc/tools/doc_merge.py')
0 files changed, 0 insertions, 0 deletions