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