Preferences/ConfigurationPages/InterfacePage.ui

changeset 1745
74c05a1ca2bc
parent 910
dc2436a9e2a1
child 1852
12d37ab1baf3
equal deleted inserted replaced
1743:4f9afcd8eb9d 1745:74c05a1ca2bc

eric ide

mercurial