[ui]
ignore.local = .hg/hgignore
[paths]
default = https://developer.mbed.org/users/estott/code/IC-SWITCH/