Skip to content

Ensure the rule conversion leaves no metavariables#88

Merged
fizruk merged 3 commits intomasterfrom check-for-metavarsFeb 2, 2024