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 /doc/manual/advanced-topics/diff-hook.xml | |
| parent | 10f68923c6fb2d2f74e78fac8fbf5f22a660964e (diff) | |
| parent | 696a98af5aa0f34b35fd2bbb714842495104ed13 (diff) | |
Merge pull request #91 from tweag/disable-some-tests
Disable tests introduced by PR #82
Diffstat (limited to 'doc/manual/advanced-topics/diff-hook.xml')
0 files changed, 0 insertions, 0 deletions