diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-03 13:09:10 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-03 13:09:10 +0200 |
commit | 4deb788a24b50eec3da66ed32bb85c185123c007 (patch) | |
tree | 0996579af49d742b1723c2da12c962c93369bf97 /doc | |
parent | dbba44b5ea7608a66989b7fb065a0ef0b46ca7fe (diff) | |
parent | 5dfa8c9d9e3f1a5391825338498e0aaac28b4e28 (diff) |
Merge PR #7942: Extend readme with 'beginners guide'
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions