diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-05-30 09:39:54 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-05-30 09:39:54 +0200 |
commit | fd36c0451c26e44b1b7e93299d3367ad2d35fee3 (patch) | |
tree | 8b4d532931920ebf41941b2170282c63dd549c43 /INSTALL | |
parent | ba3ccf80a44f0e06ee6e622a30f99de6804d005e (diff) | |
parent | a0cec18b3ac2427aaf15d2808cf021a8931a2516 (diff) |
Merge PR#356: Making management of installation directories more structured, more uniform
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions