src/prefs.c

changeset 12733
0c1de18b51ed
parent 12615
db57d3d9a9df
child 12759
923044033136
equal deleted inserted replaced
12732:971281663a50 12733:0c1de18b51ed

mercurial