diff options
| author | Nadrieril | 2019-03-09 11:41:46 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-09 11:41:46 +0100 |
| commit | d8b69acc45334743c848a3d8b7689729d89eaf3a (patch) | |
| tree | b84312afd5d74ea606199e732fcd19a359cf66a7 /dhall_parser/.gitignore | |
| parent | 5ae6b4320b033519bdfdb8529b8c7382b0ba5ee9 (diff) | |
Disable Prelude tests for now
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions