diff options
author | Nadrieril | 2020-02-21 17:00:40 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:31 +0000 |
commit | 35730ee4fc108c00b8d14d8abfe62bf0d2e31950 (patch) | |
tree | 09d13241b93bfea2ba457c675eef6b567949ea1d /dhall/README.md | |
parent | 29208b0bf3dd2667f92774dacb3a7f058c4cd895 (diff) |
Allow some slow tests to only be run in release mode
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions