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

..

build-on-pr.yml

Add GitHub Actions (#496)

2020-10-22 17:04:27 -03:00

devbuild.yml

Add GitHub Actions (#496)

2020-10-22 17:04:27 -03:00

publish-release.yml

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

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