projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0d3a10e c8c91ed)
Merge pull request #3121 from yousong/erlang-mips16
authorchamptar <champetier.etienne@gmail.com>
Fri, 2 Sep 2016 04:01:54 +0000 (06:01 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Sep 2016 04:01:54 +0000 (06:01 +0200)
erlang: fix compilation error by disabling mips16


Trivial merge
Mirror of packages feed