aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2020-02-26 11:08:15 -0500
committerPaul Selkirk <paul@psgd.org>2020-02-26 11:08:15 -0500
commit4b30c58d7062079ad14a990b552a7e8837345f07 (patch)
tree2d541d6e56dcb1ded8cf8b2beed480d196410695 /.gitignore
parent16c9fbd9bc9ad432260fda7558415aedf64844d7 (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