diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-07-09 03:36:11 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-07-09 03:36:11 +1000 |
| commit | f7d846f18354e254353bc417ed1a666c59ef3ea2 (patch) | |
| tree | 7d2b94142c48712c5bdfa61551811e03518b803b /.gitignore | |
| parent | b8045f2fa861959cdd87bd88dc2c6be98c115ec8 (diff) | |
Better implementation: smarter strategy iteration
Also add the beginnings of some log stuff, mayhaps.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions