SynchronousWindowSensor.st
changeset 9038 dd177fea6408
parent 8987 bc8b27e8c34d
equal deleted inserted replaced
9037:75c0cc5c9955 9038:dd177fea6408