diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-25 08:05:00 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-25 08:05:00 +0200 |
| commit | 3875999b2642013dfddd6cb1fa7b3ee7ac14f9d7 (patch) | |
| tree | 3ffb23028daeadfdfaba166472524c254ecf62c3 /doc/doc.css | |
| parent | 454ae53155c64fd4edea2cd166ef77c638ac0f6e (diff) | |
Eliminate phase unlock for case where we are not going to wait
Diffstat (limited to 'doc/doc.css')
0 files changed, 0 insertions, 0 deletions