aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-09-01 17:22:24 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-09-01 17:22:24 +0200
commitc6172c0238b7f5234e775f012b9395904cbd8d1e (patch)
treead00297e82145973f00e66321eb8cc0c7e69ce39 /doc/.gitignore
parente7f4231e935edae79ba2cd4d73a6e49591188bcc (diff)
Only set cli.options if cli is configured
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions