diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-05-09 18:28:15 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-05-09 18:28:24 -0400 |
| commit | c15602af5efd0cf8d30c6ad8161e0442acb5dce2 (patch) | |
| tree | 5634a380be8a8306d3c004e1e0e6c3521c5c7b45 /make-man-index.py | |
| parent | 04b33f69b6fba648b0d48aca03b9310b3cfdb02d (diff) | |
systemd-python: allow threads around flush
flush() is potentially costly.
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions