Merge remote-tracking branch 'origin/toolchain1604' into device_queue
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Wed, 13 Jul 2016 08:10:03 +0000 (10:10 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Wed, 13 Jul 2016 08:10:03 +0000 (10:10 +0200)
commit9af3605e3b6c9547a2a2d7f2b54854baa118f119
treee15b667096d3a9a41e9ba2276dc63a54a535f9d5
parented94092986d83d64c28baf9d8b1d4a9afbb558cd
parent3e2839b480238ab870bba45a22e309ecf12c3005
Merge remote-tracking branch 'origin/toolchain1604' into device_queue
hake/Tools.hs