diff options
| author | Blaž Hrastnik | 2021-05-05 07:21:12 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-05-05 07:21:12 +0000 |
| commit | 3cf9a4ceb82978be0671ada244baf2366aa65e6d (patch) | |
| tree | 211f3a3ade6572695789facf03871a06b6ecb7ac /book/.gitignore | |
| parent | b6a22e955b6146345674951859f6ef97e29355bc (diff) | |
syntax: Don't deadlock the build if one of the jobs fails.
Diffstat (limited to 'book/.gitignore')
0 files changed, 0 insertions, 0 deletions