src/eric7/Preferences/ConfigurationPages/InterfacePage.py

branch
server
changeset 10766
d35d6f96c24b
parent 10683
779cda568acb
child 10926
9ef616cd220d
equal deleted inserted replaced
10765:b0632e55ec9a 10766:d35d6f96c24b

eric ide

mercurial