diff options
| author | Aleksey Kladov <[email protected]> | 2019-01-25 18:16:04 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-01-25 20:13:07 +0000 |
| commit | 54f30bb6d89165397e6c556bff43fcd81d939818 (patch) | |
| tree | 1fcdb0f3cbe34c6a9982adaac6251c6d1a8a9e48 /.gitignore | |
| parent | e53eab3f25af2ebd381012f1b34f0bc52c6951eb (diff) | |
nicer behavior in case of bugs
We should always reach a fixed point, but if we fail, let's fail
loudly!
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions