diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-01 09:32:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-01 09:32:55 +0100 |
| commit | 26a0567c43603c4dfb372be858038769906edc4b (patch) | |
| tree | df2729786b0bde29308917cd14558abd42e09ef6 /editor/editor_plugin_settings.h | |
| parent | 13eaded911ea1b0c48c0917f156f391ad39b8714 (diff) | |
| parent | f5dadd795c62bc01c96cd14be273d96f262a638b (diff) | |
Merge pull request #23403 from xpol/patch-1
ignore __pycache__ directory
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions