diff options
| author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2017-05-08 22:39:27 +0300 |
|---|---|---|
| committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2017-05-08 22:39:27 +0300 |
| commit | 837a66722506a578b9ea379b5ea425ed22344354 (patch) | |
| tree | b8f9990f66fe4fa0fd4b459e2cbca30b019903e2 /editor | |
| parent | 66725d9b21dc50b0bb38baa4aa376b7bbb56e0e4 (diff) | |
Fix #8674, and rename a few things for clarity
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions