mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
878356bd57
The `c.comparison` token was dropped by commit
0812989cb0, drop it also in the color
conversion table of `revng ptml`.