diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-25 14:04:54 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-25 14:04:54 +0100 |
| commit | 5b3d07cc0232215bcdc901369862da50a7e89b3b (patch) | |
| tree | a7ddade8696f5254ac112d6d1830a3f7e271f45c /doc/tools/doc_status.py | |
| parent | 92c08a5973aac37736c8b284a3ae3890a2a60c64 (diff) | |
| parent | c0e9d928e6b0b20442bb98246a43c53e667ce29d (diff) | |
Merge pull request #69165 from timothyqiu/capitalization
Improve editor property capitalization
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions