diff options
| author | Nadrieril | 2019-03-03 15:17:31 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-03 15:17:31 +0100 |
| commit | 8c22856983fb30f5dc46786b3c3fc40b9bcab44e (patch) | |
| tree | 975551b519434e8c1a57b60d48a8d399f00c07f2 /dhall_parser/.gitignore | |
| parent | 029d126ec06523f94fcf29e3a3b58bd8f7e2c83e (diff) | |
Brutally increase stack size
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions