summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorOlivier Gayot <duskcoder@gmail.com>2012-11-19 02:38:53 +0100
committerOlivier Gayot <duskcoder@gmail.com>2014-03-05 18:39:12 +0100
commit92561c6d565939f15daf9dd4420729a6a0f1c0ca (patch)
tree8e801ca6ee3d557889d6a46a9f1205306e64f055 /Makefile
parente36cbdb62ef0b6b74285455b88604494cfdd6a63 (diff)
god_hands_solver: improve the interface a bit
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions