diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-08-23 19:25:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-23 19:25:24 +0200 |
| commit | 679b9be9d30001e8ffc8087e412097f7394cacdd (patch) | |
| tree | e05ad15d2a88cccd0a2be29c267707f8255ef159 /doc/tools | |
| parent | 40937ffa6d12f9c4deec68c07e46a720fa91c602 (diff) | |
| parent | cbe6c25c6b1ef0e5ceeca7d7c056fa2202642741 (diff) | |
Merge pull request #52021 from Calinou/rename-polygon-editor-settings
Rename polygon editor settings for better display in the Editor Settings
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions