diff options
| author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-11 00:27:06 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-11 00:27:06 +1000 |
| commit | b2055f2a1dd2117cdd05ab6596c38c82d3d05240 (patch) | |
| tree | 934b34851897b7e781f09da8a8749db473b9f4cd /.gitignore | |
| parent | 60bc9218d0872e40a6857706d51955ee3d058717 (diff) | |
Report command lists more nicely (line breaks between commands); report number of nodes visited during shrinking; other small fixes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions