diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-01T19·01+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-01T19·01+0200 |
commit | 51003f892db0d504f397f12b26b18e185a5b4956 (patch) | |
tree | cc4e24c144af2b7d82f7a0c3ef94b15fd527e3a5 /doc/manual/command-ref | |
parent | 291f67aecf00e180657ed30981db2185817c381b (diff) | |
parent | 81d13854375cfae08bac742879bd18dcbd28c5da (diff) |
Merge pull request #2309 from symphorien/disallowed-man
add manual entries for disallowedRequisites and disallowedReferences
Diffstat (limited to 'doc/manual/command-ref')
0 files changed, 0 insertions, 0 deletions