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