Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[engine] rm python graphmaker; create dot formatted display #4295
Printing rule graphs has not been converted. Also, generating subgraphs.
(describe the modifications you've made.)
(describe how your changes affect the end-user behavior of the system. this section is