diff options
author | Johan Ouwerkerk <jm.ouwerkerk@gmail.com> | 2015-07-13 10:39:09 +0200 |
---|---|---|
committer | Johan Ouwerkerk <jm.ouwerkerk@gmail.com> | 2015-07-13 16:30:30 +0200 |
commit | d77c25b1164f55fe3f9b5ad00c47c0e01243ad53 (patch) | |
tree | c50734137b723e5e52069290f5efa0e471323b0e /.ycm_extra_conf.py | |
parent | e43a8393eaf058c4ecd2a5968f59d83b911d4f1f (diff) |
doc: configure docbook stylesheet to generate reproducible IDs
This makes auto generated anchor tags in HTML output reproducible.
Diffstat (limited to '.ycm_extra_conf.py')
0 files changed, 0 insertions, 0 deletions