~verifypn-stub/verifypn/ctl-structural
Viewing all changes in revision 216.
-
Committer:
Peter G. Jensen
-
Date:
2017-12-12 20:21:41 UTC
-
Revision ID:
peter.gjoel@gmail.com-20171212202141-ubo0eirr7szb7l3b
generalizedĀ ruleĀ A
expand all
collapse all
Show diffs side-by-side
added
removed