Skip to content

refactor: improve style of utop rules#6628

Merged
rgrinberg merged 1 commit intomainfrom ps/rr/refactor__improve_style_of_utop_rulesDec 3, 2022

Commits

Commits on Dec 3, 2022