diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-08-28T20·19+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2019-08-28T20·19+0200 |
commit | b6120d26a84a69755c049ca5115b4388239d4540 (patch) | |
tree | dc6ccf08920650d2ec62a2dacedbee93ae545209 /tests/pure-eval.sh | |
parent | c128031492b7134f67065b66a89f9183e79e99f9 (diff) |
gc-auto.sh: Increase verbosity
Diffstat (limited to 'tests/pure-eval.sh')
0 files changed, 0 insertions, 0 deletions