diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-05 09:03:36 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-05 09:03:36 +0200 |
| commit | ed01aa7d5cec54e3a5ccbd2a183446a7ab0734c2 (patch) | |
| tree | 2ec682c3e5aecf1db4a254d3c1d34604cdcd2948 /extra/libproxy | |
| parent | 678ca43df2cac8c447a80d8c6c8853e55ea0d855 (diff) | |
| download | packages-ed01aa7d5cec54e3a5ccbd2a183446a7ab0734c2.tar.xz | |
community/gcc8: make failing `rm -r` non-fatal
Diffstat (limited to 'extra/libproxy')
0 files changed, 0 insertions, 0 deletions