projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9d84878 a5b9cc6)
Merge pull request #3860 from commodo/micropython-lib-workaround
authorHannu Nyman <hannu.nyman@iki.fi>
Fri, 17 Feb 2017 08:03:04 +0000 (10:03 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Feb 2017 08:03:04 +0000 (10:03 +0200)
micropython-lib: workaround the `install` build rule


Trivial merge
Mirror of packages feed