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