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 | b9f83d0d666037b7f7728b674362d365470a244a (patch) | |
| tree | 6287f592a2ff6ded3b9bfc9298af315c064c2e48 /common/optimistic/makefile | |
| parent | 073bee5841f466154bc1fb767cbd23bb0034288e (diff) | |
Add support for stopping after a failed batch
Diffstat (limited to 'common/optimistic/makefile')
0 files changed, 0 insertions, 0 deletions