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