mirror of https://github.com/mosra/magnum.git
Browse Source
These aliases are no longer needed as search can handle them properly; removed superfluous prefix from page name.pull/362/head
4 changed files with 1 additions and 7 deletions
Loading…
Reference in new issue