aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2016-11-12 11:40:20 +0100
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2017-05-29 12:12:57 +0200
commita0cec18b3ac2427aaf15d2808cf021a8931a2516 (patch)
tree750ab6d4e6958c07f8c4b0fab17c70fb50c6eb71 /INSTALL
parent886c222fabd6658d0ef1fe0ed18ff9d5fba9982a (diff)
Configuration with -local definitively seen as an installation layout like others.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions