diff options
| author | Paul Selkirk <paul@psgd.org> | 2020-02-26 11:08:15 -0500 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2020-02-26 11:08:15 -0500 |
| commit | 4b30c58d7062079ad14a990b552a7e8837345f07 (patch) | |
| tree | 2d541d6e56dcb1ded8cf8b2beed480d196410695 /.gitignore | |
| parent | 16c9fbd9bc9ad432260fda7558415aedf64844d7 (diff) | |
Some timing tests overflow the meagre 16K CLI task stack, so bump it up for that case.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions