Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-12-01 | reproducibility: hide non-reproducible settings from manual | Arthur Gautier | |
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. | |||
2020-09-21 | abstractsettingtojson.hh -> abstract-setting-to-json.hh | Eelco Dolstra | |