Merge pull request #11 from arunthomas/readme
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 12 Dec 2014 00:52:56 +0000 (16:52 -0800)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 12 Dec 2014 00:52:56 +0000 (16:52 -0800)
commit327a66f990e13a9fe0477e5a0a0a708681f6346f
tree7ab5d23ce4bdc927b06c3f03dc9f1bd59dbd7840
parentdd8827e8b3d23d5a5289dfdfdb136ea2ef768e22
parentcee386df0d2ed17459e618f23f07ca82546f11f2
Merge pull request #11 from arunthomas/readme

README: use gnu-toolchain