Preferences/ConfigurationPages/ShellPage.py

changeset 5106
1ecc6c9abca5
parent 4676
c65b401b775e
child 5389
9b1c800daff3
equal deleted inserted replaced
5105:8a773a100c34 5106:1ecc6c9abca5

eric ide

mercurial