diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2023-02-12 11:24:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-12 11:24:56 +0100 |
| commit | 1d0e7f0222e2f6da16bea959a4170ac754110d56 (patch) | |
| tree | a0907812dc95551ceed5edffe51f18990983c83f /core | |
| parent | fd9f4d340bf57a0f0aed852f7d0d37df94324801 (diff) | |
| parent | 4e36fc9777940362bdf5f7e4eb4aa561fba82e8b (diff) | |
Merge pull request #73147 from timothyqiu/more-capitalization
Add more property capitalizations
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions