comparison: src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py
src/eric7/Preferences/ConfigurationPages/MicroPythonPage.py
- branch
- eric7
- changeset 9931
- e6e01a10c3a1
- parent 9868
- 467288cffee2
- child 9958
- a78b83d1062a
equal
deleted
inserted
replaced