Preferences/ConfigurationPages/ViewmanagerPage.ui

changeset 50
a36eecf45b2e
parent 0
de9c2efb9d02
equal deleted inserted replaced
49:f991944e859c 50:a36eecf45b2e

eric ide

mercurial