diff options
| author | Jim Meyering <meyering@redhat.com> | 2011-03-19 16:55:35 +0100 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2011-03-20 16:05:23 +0100 |
| commit | 8e5292dfb85a4fec2045c00cac5a59bd0c1b8183 (patch) | |
| tree | 6e885f29902f4032de97a076d97b4540857f4d5f /tests/cp/dir-rm-dest | |
| parent | 7a804b9af4084990a4116964eefb43b2ace4e44a (diff) | |
| download | coreutils-8e5292dfb85a4fec2045c00cac5a59bd0c1b8183.tar.xz | |
maint: remove a name from THANKS.in that is derived from git log
The names in THANKS are generated from two sources: the hard-coded
list, THANKS.in, and the names of committers from the git log.
When a contributor on the hard-coded list commits a change,
we remove their now-redundant name from THANKS.in.
* THANKS.in: Remove a now-duplicate name.
Diffstat (limited to 'tests/cp/dir-rm-dest')
0 files changed, 0 insertions, 0 deletions