diff options
| author | Théophane Hufschmitt <regnat@users.noreply.github.com> | 2021-12-14 09:14:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-14 09:14:25 +0100 |
| commit | 6234e1c8115b876bcb01337952def1e1f23ffc69 (patch) | |
| tree | 1d2528813d3c45f279cc0801c4645ad8708879fc /doc/manual/src/release-notes | |
| parent | 3fc8042f77d488d3ebc9b3aefb3c54cec38fa432 (diff) | |
| parent | 21520297dad8a198004e4551808a4818a8de7ddd (diff) | |
Merge pull request #5702 from baloo/baloo/hide-non-reproducible-settings
reproducibility: hide non-reproducible settings from manual
Diffstat (limited to 'doc/manual/src/release-notes')
0 files changed, 0 insertions, 0 deletions