diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-27 16:25:48 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-28 18:35:01 -0500 |
commit | 27d3b124c7005c55fda2ee41922994cd67496cb4 (patch) | |
tree | 1b29151a8fc72455885dfbb7a95f9bebe6c87259 /.ycm_extra_conf.py | |
parent | 77abf3c1159a0326d05dba9cc7475d947fde0aa0 (diff) |
man: force space in cmdsynopsis
Docbook renders the man page as "[OPTIONS]--type" without it.
Diffstat (limited to '.ycm_extra_conf.py')
0 files changed, 0 insertions, 0 deletions