mirror of
https://github.com/nasa/trick.git
synced 2025-01-31 08:25:41 +00:00
9dd302f4b1
Removed the red from the clean rules. We'd like to reserve red for errors. Ended up removing all color from the clean side.