diff options
| author | Théo Zimmermann | 2018-12-05 16:27:40 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-28 16:04:54 +0100 |
| commit | 52b29f236ee2535257df1439740e5c86ed17e69d (patch) | |
| tree | 487f0b515ea4f9409b3e3144f54de55bca4597ad /dev/doc | |
| parent | 979b9591ce5422cdf5ad76e4b6109b50cce4f1c7 (diff) | |
Add DOIs.
Co-authored-by: Clément Pit-Claudel <clement.pitclaudel@live.com>
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions