Preferences/ConfigurationPages/InterfacePage.ui

changeset 939
10d3a201cd27
parent 910
dc2436a9e2a1
child 1852
12d37ab1baf3
equal deleted inserted replaced
938:f421f2138c0f 939:10d3a201cd27

eric ide

mercurial