1. 2017-07-11 [5] Determination of default configuration values for bui autoconf SF Markus Elf 2. 2017-07-11 [1] Safe descriptions for configuration variables? autoconf SF Markus Elf 3. 2017-07-11 [1] Clarification for defining variables? autoconf SF Markus Elf