src/ruleset.py
changeset 43 0a7fc4652793
parent 39 f5055ce263c7
child 45 59dee3c04279
equal deleted inserted replaced
42:0e77495e91e2 43:0a7fc4652793