summaryrefslogtreecommitdiff
path: root/doc/tools
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2022-11-25 14:04:54 +0100
committerRémi Verschelde <rverschelde@gmail.com>2022-11-25 14:04:54 +0100
commit5b3d07cc0232215bcdc901369862da50a7e89b3b (patch)
treea7ddade8696f5254ac112d6d1830a3f7e271f45c /doc/tools
parent92c08a5973aac37736c8b284a3ae3890a2a60c64 (diff)
parentc0e9d928e6b0b20442bb98246a43c53e667ce29d (diff)
Merge pull request #69165 from timothyqiu/capitalization
Improve editor property capitalization
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions