diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2019-04-12 17:46:36 +0200 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2020-09-18 20:52:07 +0200 |
| commit | 5adbeb13c5ae590ea31bf5599c54b9b604edc380 (patch) | |
| tree | f56ef925786ea816638fa9d508d1ba196de2175a /.gitattributes | |
| parent | 441a7da8080352881bb52f85e910d8855e83fc55 (diff) | |
update.nix: use ThreadPoolExecutor
Not sure why I chose ProcessPoolExecutor in the first place.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions