diff options
| author | Nadrieril | 2020-11-05 23:30:29 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-05 23:30:29 +0000 |
| commit | 2c870c1103b5596eaf936acb793d53b72b025e01 (patch) | |
| tree | e25db497aa73bec8cbed1367269dea2282483348 /dhall/src/semantics/nze | |
| parent | 5ec5176f2953c19e9741da936fd873603099c258 (diff) | |
| parent | 4b93a5e252fe98840a0aaa3adcc453e4214d0b1f (diff) | |
Merge pull request #198 from Nadrieril/bless-tests
Overwrite test outputs with a `--bless` option
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions