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

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

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