Eelco Dolstra ff4dea63c9 Generalize extra-* settings ... This removes the extra-substituters and extra-sandbox-paths settings and instead makes every array setting extensible by setting "extra-<name> = <value>" in the configuration file or passing "--<name> <value>" on the command line.		2020-10-29 18:17:39 +01:00
..
manual	Generalize extra-* settings	2020-10-29 18:17:39 +01:00