windowing/windowserver/tauto/MASK1.PBM
branchRCL_3
changeset 150 57c618273d5c
parent 0 5d03bc08d59c