diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-07-30 13:42:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-30 13:42:20 +0200 |
| commit | 6d5c1086c3cc5442b4b8f7c752c941a0ce3150c5 (patch) | |
| tree | a44be3b4a694ccae73f5d3884d705e9548b9f93e /modules/gridmap/doc_classes | |
| parent | 714fa370b76ea56ff75be5b54b5d82771e1688c3 (diff) | |
| parent | 07dbe2045ab0e1c39779fe6c7bb29d54042a319b (diff) | |
Merge pull request #50982 from Calinou/editor-use-bullet-points
Use bullet points in the editor instead of dashes where relevant
Diffstat (limited to 'modules/gridmap/doc_classes')
0 files changed, 0 insertions, 0 deletions