aboutsummaryrefslogtreecommitdiff
path: root/build/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2014-11-21 08:16:49 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2014-11-21 08:16:49 +0200
commit13b215e2206380d856137dedf522c9141a58e9e0 (patch)
treeeaaa8f9e95add9ef5d24160ad7cd2efd91472c01 /build/.gitignore
parent6b51de56026cf73f0f0ed8071e5e4918bc1999f9 (diff)
Add support for stopping after a failed batch
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions