diff options
author | Maria Matejka <mq@ucw.cz> | 2021-10-18 21:22:58 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2021-11-22 19:05:44 +0100 |
commit | 4f3fa1623f66acd24c227cf0cc5a4af2f5133b6c (patch) | |
tree | 1083051b5fb5525543c8e51545c8311cdd8e4320 /tools/progdoc | |
parent | 878eeec12bf020c9e7460040d225a929bbbd2bd2 (diff) |
Pipe runs in parallel.
Diffstat (limited to 'tools/progdoc')
0 files changed, 0 insertions, 0 deletions