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