mirror of https://github.com/mosra/magnum.git
Browse Source
`\perp` is for relations, `\bot` is usable as "name". Thanks @JanDupal for hints :-)pull/278/head
1 changed files with 2 additions and 2 deletions
Loading…
Reference in new issue