diff options
| author | Arthur Gautier <arthur.gautier@arista.com> | 2021-12-01 16:08:23 +0100 |
|---|---|---|
| committer | Arthur Gautier <arthur.gautier@arista.com> | 2021-12-01 17:25:58 +0100 |
| commit | 21520297dad8a198004e4551808a4818a8de7ddd (patch) | |
| tree | a69a5c19b1528a88414401c3066e266c0983ebb5 /doc/manual/src/release-notes/rl-0.10.1.md | |
| parent | 1a9bfdc4ca0c2786b02801540432badbafa3a811 (diff) | |
reproducibility: hide non-reproducible settings from manual
Because the manual is generated from default values which are themselves
generated from various sources (cpuid, bios settings (kvm), number of
cores). This commit hides non-reproducible settings from the manual
output.
Diffstat (limited to 'doc/manual/src/release-notes/rl-0.10.1.md')
0 files changed, 0 insertions, 0 deletions