diff options
author | 2018-03-22 11:43:41 +0100 | |
---|---|---|
committer | 2018-03-29 13:54:39 +0200 | |
commit | 1fa0a403cd167796fd082be87828cec610a209ca (patch) | |
tree | 4ad5fca13902a1f9b40f163aaa7e604f1b0eff67 /dev/lint-commits.sh | |
parent | e031710bb59b14f39c9d1d4652296370f7aa72d3 (diff) |
[Sphinx] Add chapter 23
Thanks to Pierre Letouzey for porting this chapter.
Diffstat (limited to 'dev/lint-commits.sh')
0 files changed, 0 insertions, 0 deletions