diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2019-11-07 13:56:31 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-01-28 17:01:48 +0100 |
| commit | 3a037d0067c2c12a1c2c800fb85613a0a2911253 (patch) | |
| tree | 7dcef1021a627851efeae14927cfd1fc46ac2888 /doc/rapidcheck.md | |
| parent | 84ff1b2076ef91ce688930d0aa0a7f4078ef3e1d (diff) | |
test: Add crc32c exception to various linters and generation scripts
Diffstat (limited to 'doc/rapidcheck.md')
0 files changed, 0 insertions, 0 deletions