This repository has been archived by the owner on Mar 25, 2023. It is now read-only.
/~/<term>/
term url
#393
amitu
started this conversation in
Ideas & RFC
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
If we know a term is defined in some package, visiting
/~/<term>/
will redirect to the/foo/#term
where the term is actually defined.Beta Was this translation helpful? Give feedback.
All reactions