Closed abrenk closed 4 years ago
This way a different configuration file can be specified with e.g. direnv.
fixes #116
@abrenk thank you very much for the pull request. I added your commit to the devel branch.
This way a different configuration file can be specified with e.g. direnv.