diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-03-20 09:34:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-20 09:34:20 +0100 |
| commit | 4ef43198f341499189f1f9e7e9069224cb4d19ac (patch) | |
| tree | 2851c21b21fe3ada898219f5e45651492e204fb3 /Makefile.config.in | |
| parent | ef74fafc0368944e6cfc3b804b4bcdddd6bcf9c0 (diff) | |
| parent | c5a488afc05372dd46e05559ef04ac9969808507 (diff) | |
Merge pull request #3426 from jakobrs/remote-gc-delete-opt
Remove the --delete option for --gc. Fixes #3343
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions