chiark - git - mdw - disorder/commit

author	Mark Wooding <mdw@distorted.org.uk>
	Thu, 4 Jun 2020 19:49:16 +0000 (20:49 +0100)
committer	Mark Wooding <mdw@distorted.org.uk>
	Mon, 15 Jun 2020 12:02:44 +0000 (13:02 +0100)
commit	5dba54ab01bce6ca8a6f1fd64b46cd304501b596
tree	414c2ef30ab7d40327cae795ee33cbd22d767a0a	tree \| snapshot
parent	8ab2aa9fd51a89e06d92a4f7c3792aaa4a08cc71	commit \| diff

lib/configuration.c, etc.: Replace `config_userconf()' by a variable.

Exactly analogous to the existing `configfile' variable.

Multi-user software jukebox -- https://www.greenend.org.uk/rjk/disorder/