diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-12-04 12:46:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-04 12:46:31 +0100 |
| commit | f4b94958543138671bc3641fc126589a5cffb24b (patch) | |
| tree | 32b03161d3335f6dca8f6fe5eb4a853577062c50 /m4 | |
| parent | c1d18050b4cfed9eba68d4d21b397c6cce035e37 (diff) | |
| parent | 7923e22276f4b7fb65df04f53d5e0c4298b61e6d (diff) | |
Merge pull request #3255 from Profpatsch/doc-manual-allowSubstitutes-add-note
doc/manual: add note to `allowSubstitutes` advanced attribute
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions