Update HoTT connection details
commit01fb028fe4d2bf5ba257403a3485ee368318b4e3
authorDominic Clifton <me@dominicclifton.name>
Sat, 17 Jan 2015 19:51:11 +0000 (17 19:51 +0000)
committerDominic Clifton <me@dominicclifton.name>
Sat, 17 Jan 2015 19:52:42 +0000 (17 19:52 +0000)
tree4e16d435f188306a673489857f31f7efad1d22f4
parent7876530b0f445015f4e80792fcd5f55af87fca3c
Update HoTT connection details
docs/Telemetry.md