chiark / gitweb /
conf-files: beef up conf-files.[ch] a bit