summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2020-05-02 12:59:59 -0400
committerGitHub <noreply@github.com>2020-05-02 12:59:59 -0400
commit51032d1eca04820a80f34dfd511a927c55975c1f (patch)
treebf5598f5746509bb959f2de0e1808660ef799d95 /.github
parentefa7a5ecc3bf6def28c12478fbbcd5fb56f1f63c (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