tools/build.py: Add "path" entry to index.json. #910

dpgeorge merged 1 commit intomicropython:master micropython/micropython-lib:masterfrom

dpgeorge:tools-build-add-package-path-to-index dpgeorge/micropython-lib:tools-build-add-package-path-to-indexCopy head branch name to clipboard