diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-05-15 09:05:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-15 09:05:47 +0200 |
commit | 38b87dea62fa1295c3a8c019477dd8661542a0e0 (patch) | |
tree | 6ab0f0048a408278821822609e944b83e2c3e33f /src/nix/main.cc | |
parent | 10f68923c6fb2d2f74e78fac8fbf5f22a660964e (diff) | |
parent | 696a98af5aa0f34b35fd2bbb714842495104ed13 (diff) |
Merge pull request #91 from tweag/disable-some-tests
Disable tests introduced by PR #82
Diffstat (limited to 'src/nix/main.cc')
0 files changed, 0 insertions, 0 deletions