diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-18 13:39:01 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-18 13:39:01 +0200 |
| commit | 2c8ca08d0407d61af1a00152e3a120a6eff938f9 (patch) | |
| tree | 94535765f92e99402354b8187b67d708589c0e70 /doc/.gitignore | |
| parent | 0e2f76b6f0ecb4b4c00a4c8001843b3c54bc08ad (diff) | |
If build terminates abnormally, suspend machine for investigation
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions