diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-08 11:36:46 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-05-08 11:36:46 +0200 |
| commit | 2c313bdb12c5fcae8272600021fcedbc99425130 (patch) | |
| tree | 873e660e78a02df22255143e2bc0913f077464a9 /.gitignore | |
| parent | f6f8ca5142020c2c5b0628bdcae1e2d00b80c6d5 (diff) | |
Slight performance gain by reducing default n.outtimes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions