diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2024-06-03 19:31:18 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2024-06-04 12:39:05 +0300 |
| commit | 7fa296d5b67a345c708b762f01cec53fc4c00d99 (patch) | |
| tree | 0c140ec3de3b4584a2fb47c2485d4d79c1979f7c /load/.gitignore | |
| parent | a66efed44af2f9bc917d265ca7640ded40683f05 (diff) | |
Add --ignore-unresolv-cond option and rename --ignore-unresolved-tests to --ignore-unresolv-tests for brep-load
Diffstat (limited to 'load/.gitignore')
0 files changed, 0 insertions, 0 deletions