Arthur Gautier e31fa17336 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.		2021-12-15 09:34:26 +01:00
..
manual	reproducibility: hide non-reproducible settings from manual	2021-12-15 09:34:26 +01:00