Skip to content

Move out getName() from RuleInterface#640

Merged
arogachev merged 9 commits intomasterfrom 634-move-rule-nameNov 30, 2023

Commits

Commits on Nov 28, 2023

Commits on Nov 30, 2023