diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-11-12 11:40:20 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-29 12:12:57 +0200 |
| commit | a0cec18b3ac2427aaf15d2808cf021a8931a2516 (patch) | |
| tree | 750ab6d4e6958c07f8c4b0fab17c70fb50c6eb71 /Makefile.ide | |
| parent | 886c222fabd6658d0ef1fe0ed18ff9d5fba9982a (diff) | |
Configuration with -local definitively seen as an installation layout like others.
Diffstat (limited to 'Makefile.ide')
0 files changed, 0 insertions, 0 deletions