diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-21 16:19:35 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-21 16:19:35 +0100 |
commit | ef0fc7730df3cb585b621955010115407d80d2e7 (patch) | |
tree | e8cb3781df2ef614244e5fe8339a4f0c71cb5581 /doc/sphinx/index.rst | |
parent | d7ea089b890e93d42c9b3ddb3b521590f73356bc (diff) | |
parent | 545f61580bbd67fc1e390904e5a7459fa6976e04 (diff) |
Merge PR #7027: Refine a bit the decentralized merging process.
Diffstat (limited to 'doc/sphinx/index.rst')
0 files changed, 0 insertions, 0 deletions