Age | Commit message (Expand) | Author |
---|---|---|
2023-06-18 | Split `OptionalPathSetting` from `PathSetting` | John Ericson |
2023-03-31 | Ensure all headers have `#pragma once` and are in API docs | John Ericson |
2021-12-01 | reproducibility: hide non-reproducible settings from manual | Arthur Gautier |
2020-09-21 | abstractsettingtojson.hh -> abstract-setting-to-json.hh | Eelco Dolstra |