mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-24 01:31:46 +00:00
Replace ⊤ with \u22a4, since Unicode references are supported but HTML5 entities are not. Should be fixed if JDK is ever moved forward. Co-authored-by: Tyler Veness <calcmogul@gmail.com>