diff options
| author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-05 17:30:46 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-05 17:30:46 +1000 |
| commit | 05ec409ce96da92d430c4a8e58b08d46f42d667a (patch) | |
| tree | 2c3d8925fa9dd86cc265dcfbcb1fe5d8ee97cd0b /.gitignore | |
| parent | 20b1226b4eb10e85497862bd73fe9e9a2f05191d (diff) | |
More work on the stateful checker; still not perfect, but it's getting better
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions