Skip to content

Shorter rule names#8

Merged
sungshik merged 4 commits intomainfrom shorter-rule-namesJul 19, 2024