Skip to content
GitLab
Explore
Sign in
Replace font of reset button for axioms in repair interface
Replace the R with a unicode character that matches symbolic reset e.g. ↺