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 /Makefile?id=719128f6add965f8d53e7797fa6676f2ae093c07 | |
| parent | 3a0d0ab60660a2989e6139aeac2c7ca792d5557c (diff) | |
Remove threads: only check one final configuration file z != 0
Diffstat (limited to 'Makefile?id=719128f6add965f8d53e7797fa6676f2ae093c07')
0 files changed, 0 insertions, 0 deletions