summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2015-10-02 15:50:04 +0200
committerAndrey Andreev <narf@devilix.net>2015-10-02 15:51:02 +0200
commitb079ae972d1bd9f2f854e07ea43f4d700b2e487c (patch)
tree000637970413e4a0c0c0d748b2f2013fee6412cb /.gitignore
parent249580e711d42fe966e52d7bcc0f349ba99a94a3 (diff)
Merge pull request #4148 from zhanghongyi/generate-pulldown
[ci skip] Generate docs pulldown menu using sphinx toctree
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions