[ui]
ignore.local = .hg/hgignore
[paths]
default = https://developer.mbed.org/teams/ST/code/MQTT/