altrisi 4807e4d518 Fix rules-to-wiki and generalize some code for extension's equivalents (#696) ...

* Fix rules-to-wiki output

* Publicize OLD_OUT in RulePrinter to simplify extension's equivalents

And rename to CarpetRulePrinter because of the same reason

2021-02-08 23:52:49 -04:00

..

workflows

Fix rules-to-wiki and generalize some code for extension's equivalents (#696)

2021-02-08 23:52:49 -04:00