aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2024-07-08 18:01:12 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2024-07-29 10:25:32 +0300
commitcca498933cbb1d6e025c7d12ee79eac56e09fd44 (patch)
tree286976d4a1b602f57c2b9f768df136bb3fc44911 /doc/.gitignore
parentde5cbeac0f4ef6a71f75af54e926d5b87d4597ea (diff)
Retry on recoverable database errors in brep-clean
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions