Closed rleonid closed 7 years ago
Changes the default behavior to write typing errors (such as no position found), to a file prefixed by the input configurations as opposed to just typing_errors.log. Fixes #82.
Changes the default behavior to write typing errors (such as no position found), to a file prefixed by the input configurations as opposed to just typing_errors.log. Fixes #82.