Preferences/ConfigurationPages/ViewmanagerPage.py

changeset 42
23b45a742e17
parent 15
f6ccc31d6e72
child 53
c3eb7cc1ff8b
equal deleted inserted replaced
41:572a009369f0 42:23b45a742e17

eric ide

mercurial