aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorGuillaume Melquiond2018-03-22 15:39:41 +0100
committerGitHub2018-03-22 15:39:41 +0100
commita5aa8da2dcaa62b0abb5e2ce2d466894c5b82b65 (patch)
tree22f72b0ce66329ffe496b8162d4bcc942d9365fd /dev
parent31a8690728ea2308e5adc1c429981c4779093615 (diff)
parent6c1ccc200cff1ade5e07d60d6458b4471cde551d (diff)
Merge pull request #7039 from maximedenes/sphinx-doc-chapter-21
Sphinx doc chapter 21
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions