diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-09 17:52:00 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-09-09 17:52:00 +0200 |
| commit | dcc15aa4e2602a005bbc90422d479e7a6415b39a (patch) | |
| tree | 1ba54b7a42554cb94de58dd62bcd41ee1bfc6a6a /platform/javascript/js/jsdoc2rst/publish.js | |
| parent | 9fb54b7d1dc61342a35c14cadcceaad54f8da0b6 (diff) | |
| parent | 575a0b4dfbedc5405e1d7ae3d7bc3f3e0e87b5bd (diff) | |
| download | redot-engine-dcc15aa4e2602a005bbc90422d479e7a6415b39a.tar.gz | |
Merge pull request #96757 from Giganzo/doc-default-font-size
Fix description of invalid values for `Theme.default_font_size`
Diffstat (limited to 'platform/javascript/js/jsdoc2rst/publish.js')
0 files changed, 0 insertions, 0 deletions