diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-13 23:51:28 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-13 23:51:28 +0100 |
| commit | a48be9cd3c9e57606e52c9a5eebb1d02b65fdf66 (patch) | |
| tree | 748d10bb4f9f1d4e83efa74f6ef007d9f9a7e932 /ide | |
| parent | 2c2a08083bc535397359299690d0bfb3523a9ee1 (diff) | |
| parent | e098767a05372bf766b7d8e67e4acb623d5b2abf (diff) | |
Merge PR #6175: Restoring filtering of native files passed to `rm` during `make clean`.
Diffstat (limited to 'ide')
0 files changed, 0 insertions, 0 deletions