diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-22 14:45:28 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-22 14:45:28 +0100 |
commit | d60f004715273534d7b876612d3e6a727f48944b (patch) | |
tree | 5423320f68674623e3d36d66d1435bff039f2f0a /proofs | |
parent | ef0fc7730df3cb585b621955010115407d80d2e7 (diff) |
Switch maintainers for documentation
Guillaume and I agreed to switch, as the new Sphinx infrastructure
changes this component significantly.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions