src/eric7/Preferences/ConfigurationPages/InterfacePage.ui

branch
server
changeset 10531
3308e8349e4c
parent 10248
981456110843
child 10949
2057b1b198a5
equal deleted inserted replaced
10530:684f491a3bfc 10531:3308e8349e4c

eric ide

mercurial