Régis Behmo b0f2adb931 Read default settings from environment variables ...

Moreover, ACTIVATE_* variables are now made permanent. It is no longer
necessary to re-declare them at each call of `make configure`.

2018-09-15 15:51:41 +02:00

..

bin

Read default settings from environment variables

2018-09-15 15:51:41 +02:00

Dockerfile

Enable course search and discovery

2018-09-15 12:17:24 +02:00