src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui

branch
server
changeset 10766
d35d6f96c24b
parent 10429
643989a1e2bd
equal deleted inserted replaced
10765:b0632e55ec9a 10766:d35d6f96c24b

eric ide

mercurial