Commit 07d59e9
authored
Fix #13374 (Add --check-level=reduced option) (danmar#6496)
1 parent 7c764f7 commit 07d59e9
File tree
29 files changed
+2331
-2200
lines changed- cli
- gui
- lib
- man
- tools
29 files changed
+2331
-2200
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
471 | 471 | | |
472 | 472 | | |
473 | 473 | | |
474 | | - | |
| 474 | + | |
| 475 | + | |
| 476 | + | |
475 | 477 | | |
476 | 478 | | |
477 | 479 | | |
| |||
952 | 954 | | |
953 | 955 | | |
954 | 956 | | |
| 957 | + | |
| 958 | + | |
| 959 | + | |
| 960 | + | |
| 961 | + | |
955 | 962 | | |
956 | 963 | | |
957 | 964 | | |
| |||
1528 | 1535 | | |
1529 | 1536 | | |
1530 | 1537 | | |
1531 | | - | |
1532 | | - | |
| 1538 | + | |
| 1539 | + | |
| 1540 | + | |
1533 | 1541 | | |
1534 | 1542 | | |
1535 | 1543 | | |
| |||
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
0 commit comments