diff options
author | Nadrieril | 2020-04-14 15:31:12 +0100 |
---|---|---|
committer | Nadrieril | 2020-06-24 22:13:53 +0100 |
commit | d99bd58171dfb07cbc7979d093fbc94a74afa0f9 (patch) | |
tree | f62569cde140620ed35dcfea68c2951d5002db16 /dhall/src/semantics | |
parent | 23841922f0fdbb5d2eba9a0651cd46de86d96305 (diff) |
docs: recommend `-q` flag when testing
Diffstat (limited to 'dhall/src/semantics')
0 files changed, 0 insertions, 0 deletions