diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2019-11-22 21:21:13 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2019-11-22 21:21:13 +0100 |
commit | 5887789cb28ba863ad8c392e5b7bc79afe15001c (patch) | |
tree | c3fe54696ba4ff358428e7e166fc111f2f1a6f81 /debian/patches/Skip-randomized-tests.patch | |
parent | af41c28a594d5e11455da2e1aeaf74fcf4006833 (diff) |
doc/index.md: Include link to benchmark.
Diffstat (limited to 'debian/patches/Skip-randomized-tests.patch')
0 files changed, 0 insertions, 0 deletions