windowing/windowserver/group/wservu_multiscreen.ini
changeset 44 c585bdae81dd
parent 0 5d03bc08d59c
child 116 171fae344dd4
child 163 bbf46f59e123
equal deleted inserted replaced
43:7579f232bae7 44:c585bdae81dd