Fix HTML entities on the Digraphs homepage #711
Labels
bug
A label for issues that are bugs
difficulty: 0
A label for feature requests that should be easy
minor
A label for PRs or issues that are minor in some sense.
newcomer-friendly
A label for issues that someone thought might be friendly newcomers.
technical
A necessary technical change, not interesting mathematically/feature-wise
Comments
wilfwilson
added
bug
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
On the Digraphs homepage, https://digraphs.github.io/Digraphs, the entities
&Digraphs;and⪆are being rendered as-is, not as we want them to be rendered:This should be fixed, either by just having them as plain text, or by doing something else to make them special.
The text was updated successfully, but these errors were encountered: