Preferences/ConfigurationPages/InterfacePage.py

changeset 537
72b32daeb8d6
parent 405
374066392929
child 564
b3d966393ba9

eric ide

mercurial