SynchronousWindowSensor.st
changeset 8213 0e7ce71e334c
parent 7667 03e064bb2153
child 7715 925b859e1758
child 8336 ab27804d3b46
equal deleted inserted replaced
8212:02a6faa5c418 8213:0e7ce71e334c