ewjoachim opened this issue 6 years ago · 0 comments
write in stderr the location of the settings file, if used.
(ping @tlehoux )