diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-07 06:54:09 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-07 06:54:09 +0200 |
| commit | 0592557e49cc7d6a2da2b5d9f5aaaeefbfcf7248 (patch) | |
| tree | 8c3fc5e85769d3ffd0a697d6bfb97d70d6d6cebf /doc/doc.html2ps | |
| parent | c08b0ce638361a84d3648aacd4ffbd0da6c357d8 (diff) | |
Make deadlock detection loop more robust
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions