summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-07-09 13:10:32 +1000
committerCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-07-09 13:10:32 +1000
commit049a16d1b1a683487a0c17014e9f7c477820a132 (patch)
tree1e8ef2c44cbc7eb154b245f618794776587619b0 /.gitignore
parentf7d846f18354e254353bc417ed1a666c59ef3ea2 (diff)
Fixed up the newer strategy iteration stuff
Trivial 100000 var case in 15s on my Uni machine.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions