diff options
| author | Nadrieril | 2019-05-12 18:54:03 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-12 18:54:03 +0200 |
| commit | 1274a997c49ae8dcf73ec6a3d1afe96dd03a2ae2 (patch) | |
| tree | 943155aba1f56c06e13f691be320b776ff9b93f1 /dhall_syntax | |
| parent | c2b4a2d9b40efbe4f6cb6fd04f6cb90639f4985f (diff) | |
Include success or failure prefix in test filtering
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions