src/eric7/Preferences/ConfigurationPages/InterfacePage.ui

branch
server
changeset 10531
3308e8349e4c
parent 10248
981456110843
child 10949
2057b1b198a5

eric ide

mercurial