aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorThomas White <taw@physics.org>2015-06-17 14:03:55 +0200
committerThomas White <taw@physics.org>2015-06-17 14:10:45 +0200
commit14d8651e663538be7445e74cef9206ce9ab4cf36 (patch)
treec3c49e07d2800d028af684adcade95b52ec629de /doc
parent031a4d37cf355fd72a991dbd1167c8e492011730 (diff)
Use a POSIX semaphore for synchronising terminal access during indexing
Nice side-effect: indexamajig -j and --int-diag can now be used together
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions