diff options
author | Mario Forzanini <mf@marioforzanini.com> | 2023-08-13 14:56:40 +0200 |
---|---|---|
committer | Mario Forzanini <mf@marioforzanini.com> | 2023-08-13 14:57:12 +0200 |
commit | 719128f6add965f8d53e7797fa6676f2ae093c07 (patch) | |
tree | 3af8c3c44f421c8cb0a2930b41092ea20bc11418 /%3fid%3d719128f6add965f8d53e7797fa6676f2ae093c07?id=719128f6add965f8d53e7797fa6676f2ae093c07 | |
parent | 3a0d0ab60660a2989e6139aeac2c7ca792d5557c (diff) |
Remove threads: only check one final configuration file z != 0
Diffstat (limited to '%3fid%3d719128f6add965f8d53e7797fa6676f2ae093c07?id=719128f6add965f8d53e7797fa6676f2ae093c07')
0 files changed, 0 insertions, 0 deletions