diff options
| author | jvoisin | 2017-09-28 15:30:46 +0200 |
|---|---|---|
| committer | jvoisin | 2017-09-28 15:30:46 +0200 |
| commit | 94a6d0c65fd5bea909f08d493d80d8771ef49a60 (patch) | |
| tree | cb44bb6d344dfe6afb92ac2d873cb62ba94a0115 /src | |
| parent | a92612da7ed1ceecc907232c36ff99e7dd18630c (diff) | |
Improve the documentation wrt. installation
Thanks to @real for finding this.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions