check-redundant: rename from planarchaos

Signed-off-by: Maciej Barć <xgqt@protonmail.com>
This commit is contained in:
Maciej Barć
2020-12-28 20:52:54 +01:00
parent 1aab1497bf
commit c98d45a07a