diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-04-25 22:14:49 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-04-25 22:14:49 -0400 |
| commit | 18c297c5f88681236aec2537f7e7f2d9b50fcd7e (patch) | |
| tree | 7dbbfa8c1f144e8c30cff8084f69f9efe47df217 /configure | |
| parent | 22a58216681df01d20cfa0a5cfc5c49d15e6c606 (diff) | |
adapt to the new experimental tasking system
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions