diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-05-02 12:59:59 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-02 12:59:59 -0400 |
| commit | 51032d1eca04820a80f34dfd511a927c55975c1f (patch) | |
| tree | bf5598f5746509bb959f2de0e1808660ef799d95 /.github | |
| parent | efa7a5ecc3bf6def28c12478fbbcd5fb56f1f63c (diff) | |
Catch WrongDocumentError thrown by compareBoundaryPoints (#491)
* Catch WrongDocumentError thrown by compareBoundaryPoints
* Filter error based on name
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions