commit | 0344e7f5a0ce894ddfd01997ec0ce4552227df6a | [log] [tgz] |
---|---|---|
author | YoungSeok Yoon <youngseokyoon@google.com> | Thu Mar 03 19:00:51 2016 -0800 |
committer | YoungSeok Yoon <youngseokyoon@google.com> | Thu Mar 03 19:00:51 2016 -0800 |
tree | 9fcfbe49f329fd3b68ee45673aac018300056c6f | |
parent | 05249e1124950e09abc1d8edfc61c7b241a1216b [diff] |
devtools/madb: use JSON for storing nicknames. Use 'encoding/json' package to store the nickname data of type 'map[string]string' in JSON. Change-Id: Ib1b89a4952238ea75f825086d22cdc9c9395f1bf
This repository contains developer tools used to install and contribute to Vanadium.
For more information, see the installation and contributing instructions.
This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.