diff options
| author | jvoisin | 2019-02-09 15:23:16 +0100 |
|---|---|---|
| committer | jvoisin | 2019-02-09 15:23:16 +0100 |
| commit | 6e63e03b86916c697e411b9f382f98a4834779ff (patch) | |
| tree | 891ad0c04df90af2a435068a5b9018e8b3ccefb1 /INSTALL.md | |
| parent | a71488d4592cef29d6db0981cd0721250eebaff4 (diff) | |
Streamline a bit the previous commit
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions