diff options
| author | Determinant <[email protected]> | 2018-11-15 00:24:38 -0500 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-11-15 00:24:38 -0500 |
| commit | 82bd1d81e918cc8a1a46b6c36a81cbba43750bb1 (patch) | |
| tree | 046e0e51dd6a035a0bc8f4c2686f8e1a28caa43f /src/util.cpp | |
| parent | 389a9a56e00225b0e682d64cb05e5291c23892b0 (diff) | |
use a simple worker selection policy; add todo-list
Diffstat (limited to 'src/util.cpp')
0 files changed, 0 insertions, 0 deletions