diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2014-11-21 08:16:49 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2014-11-21 08:16:49 +0200 |
commit | 13b215e2206380d856137dedf522c9141a58e9e0 (patch) | |
tree | eaaa8f9e95add9ef5d24160ad7cd2efd91472c01 /build/.gitignore | |
parent | 6b51de56026cf73f0f0ed8071e5e4918bc1999f9 (diff) |
Add support for stopping after a failed batch
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions