Skip to content

[CLEANUP] Avoid Hungarian notation for ignoreCase#955

Merged
JakeQZ merged 1 commit intomainfrom
cleanup/hungarian/ignore-case
Feb 20, 2025
Merged

[CLEANUP] Avoid Hungarian notation for `ignoreCase`#955
JakeQZ merged 1 commit intomainfrom
cleanup/hungarian/ignore-case

Commits

Commits on Feb 19, 2025