SynchronousWindowSensor.st
changeset 8634 e49cd74df70c
parent 8503 fcd14f4ec13f
child 8987 bc8b27e8c34d
equal deleted inserted replaced
8633:b8a4d59771e2 8634:e49cd74df70c