mip: Make mip.install() skip /rom*/lib directories.#981

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

dpgeorge:micropython-mip-skip-rom-libdpgeorge/micropython-lib:micropython-mip-skip-rom-libCopy head branch name to clipboard