diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-12 06:45:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-12 06:45:31 +0100 |
| commit | f676d7509e301620fc72421e85e8d5e03555f8c1 (patch) | |
| tree | ec970e999de6bd42a4386d6141b44322695d9c3a /doc/classes/EditorFeatureProfile.xml | |
| parent | 9abc0ad8a5cf400d848fd25a33bd562db08d1046 (diff) | |
| parent | 676f647c74f155d71a21b07155e529184c7b3d86 (diff) | |
Merge pull request #34262 from clayjohn/default_point_size
Add a default POINT_SIZE
Diffstat (limited to 'doc/classes/EditorFeatureProfile.xml')
0 files changed, 0 insertions, 0 deletions