diff options
| author | Ryan A. Pavlik <ryan.pavlik@gmail.com> | 2021-08-28 03:14:03 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-28 02:14:03 -0600 |
| commit | 5d2698a44759540d3f4025fe8f60adc941ff2997 (patch) | |
| tree | c7907981cbcbe2f0af2e8db76bf506cb9037da49 /docs/modules/cli | |
| parent | eafb271a3afc9c331b9807168a8ecfd092ec700d (diff) | |
resolves #4143 omit generator meta tag in HTML output if reproducible document attribute is set (PR #4144)
Diffstat (limited to 'docs/modules/cli')
0 files changed, 0 insertions, 0 deletions