diff options
| author | Erich Eckner <git@eckner.net> | 2020-05-20 17:01:28 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-05-20 17:01:28 +0200 |
| commit | 7ed7e940668de20e28ad7732ddc2f2e93a369cac (patch) | |
| tree | b6f973d782b8febf73c7193ebf48c210ae853950 /community | |
| parent | a26a217f1385c232106bf6057e2a7161c2ba1988 (diff) | |
| download | packages-7ed7e940668de20e28ad7732ddc2f2e93a369cac.tar.xz | |
extra/subversion: make failing check() non-fatal
Diffstat (limited to 'community')
0 files changed, 0 insertions, 0 deletions