windowing/windowserver/minigui/group/wsini_minigui.ini
changeset 198 9f2f0d4d53f3
parent 168 2bd88482bfe5
equal deleted inserted replaced
197:ae38b71cf500 198:9f2f0d4d53f3
     1 (binary file application/octet-stream, hash: 2fb15aff481c0188eb332c0a9b795fc887301cd2)
     1 (binary file application/octet-stream, hash: 73b1a21bf2af71e513d846ba87222618fbb876ff)