]> git.r.bdr.sh - rbdr/mobius/commitdiff
Merge pull request #67 from jhalter/add_log_to_file_option
authorJeff Halter <redacted>
Thu, 3 Nov 2022 23:54:40 +0000 (16:54 -0700)
committerGitHub <redacted>
Thu, 3 Nov 2022 23:54:40 +0000 (16:54 -0700)
Add optional logging to file


Trivial merge