diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-01 17:22:24 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-09-01 17:22:24 +0200 |
commit | c6172c0238b7f5234e775f012b9395904cbd8d1e (patch) | |
tree | ad00297e82145973f00e66321eb8cc0c7e69ce39 /doc/doc-prologue.xhtml | |
parent | e7f4231e935edae79ba2cd4d73a6e49591188bcc (diff) |
Only set cli.options if cli is configured
Diffstat (limited to 'doc/doc-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions