Behave sanely when $HOME/.config does not exist
commit21641573083b324e4b28b052e79ac81e9dac7a50
authormalc <clamky@hotmail.com>
Sat, 8 Jan 2022 22:31:18 +0000 (9 01:31 +0300)
committermalc <clamky@hotmail.com>
Sat, 8 Jan 2022 22:31:18 +0000 (9 01:31 +0300)
tree10bba01b65de15b4ab0d62f36aa827c7e7b87903
parent01ff5cb4ce0471bd4974e60d8a8eaaf4ce71d994
Behave sanely when $HOME/.config does not exist

cf. https://github.com/moosotc/llpp/issues/180
config.ml
main.ml