Fixed a broken tool path
authorDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 13:43:03 +0000 (15:43 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 13:43:03 +0000 (15:43 +0200)
commit48a2094e459618d2c92569f13816e0785ef045c1
tree027d36b9a736358ce2474baa1a010b46fa16c7e7
parentb82374e60974f138daaf291c9140e9b5f952fb1c
Fixed a broken tool path

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/Tools.hs