diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-05-16 23:24:22 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-16 23:24:22 +0200 |
commit | ec043e65c084a86594fb815eb65b2734b87018e2 (patch) | |
tree | fc04525fface0395be489351bd06df6910ed693e /.travis.yml | |
parent | f01a1e45902bcd7ee077ead7037c809d776f35d2 (diff) | |
parent | 8ff0fe228592b77f3357eb5d66c969df3518ef13 (diff) |
Merge PR #7517: [sphinx] Fix indentation at the end of proof handling chapter.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions