mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
32fd86d33a
Having a pipe's name different from its class name is useless, drop the feature entirely.