Skip to content

[CLEANUP] Improve some variable names in RuleSet#1039

Merged
JakeQZ merged 1 commit intomainfrom
cleanup/hungarian/property-or-rule-name
Mar 3, 2025
Merged

[CLEANUP] Improve some variable names in `RuleSet`#1039
JakeQZ merged 1 commit intomainfrom
cleanup/hungarian/property-or-rule-name

Commits

Commits on Mar 3, 2025