diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-01-18 17:09:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-18 17:09:15 +0100 |
| commit | 0510aa40a3f48907e65727b803333faf395264e6 (patch) | |
| tree | 4484734515998c3d6120e442c99e5577b7d3aa25 /doc/manual | |
| parent | 70e193d64bc5507746682f6983db67faf494deed (diff) | |
| parent | 75c89c3e5ea4b4b6a47a3c13aec8b3ac5c324fa5 (diff) | |
Merge pull request #7631 from edolstra/output-names
OutputSpec: Allow all valid output names
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions