mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-19 02:16:21 +00:00
`orange` is no allowed color[^1] so it is replaced by `orange1`. [^1]:https://jonasjacek.github.io/colors/
`orange` is no allowed color[^1] so it is replaced by `orange1`. [^1]:https://jonasjacek.github.io/colors/