Files
modules/doc/source
Xavier Delaruelle a386dbb67c Introduce home configuration option
Make MODULESHOME environment variable controllable through the `config`
sub-command with `home` configuration option. A `--with-moduleshome`
argument is also added to the ./configure script to set specific default
value for this option at installation time.

Fixes #292
2019-11-14 20:22:45 +01:00
..
2018-11-20 21:46:08 +01:00
2018-11-19 04:02:06 +01:00
2019-11-14 20:22:45 +01:00
2017-10-14 09:40:29 +02:00