diff options
| author | Théo Zimmermann | 2018-05-15 13:17:40 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-15 13:18:56 +0200 |
| commit | 8ff0fe228592b77f3357eb5d66c969df3518ef13 (patch) | |
| tree | 5e3961b704c57d375f51c6eed35fba141b29b5de /dev/ci | |
| parent | cfed57b021b89018d1bb30c6aa0957299fe35d8d (diff) | |
[sphinx] Fix indentation at the end of proof handling chapter.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions