diff options
| author | Jack Lloyd <[email protected]> | 2018-11-09 16:08:09 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-11-09 16:08:09 -0500 |
| commit | 7d2ae571d3e83b936b4fc401b58eaa5b353bf01a (patch) | |
| tree | f65c1d91b33ed19231fc0d1d437099645f4925b9 /doc/manual | |
| parent | 99050e91c4373594f74f2e40f9cd4897aacc0026 (diff) | |
Add --disable-bmi2, --disable-rdseed, --disable-rdrand flags
GH #1721 #1718
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions