diff options
| author | Daniel Borkmann <dborkman@redhat.com> | 2013-03-30 11:51:04 +0100 |
|---|---|---|
| committer | Daniel Borkmann <dborkman@redhat.com> | 2013-03-30 11:51:04 +0100 |
| commit | 3107cf8c5c9604844827831b28d585c558504166 (patch) | |
| tree | 8d023d8d15db0506661d4feec64e056923683153 /Documentation/Summary | |
| parent | 367efea8c9ba557a81158a69ecee267706a520eb (diff) | |
make: when mrproper, also remove Git tree unrelated files
When we really clean up everything, also remove crap files that do
not belong to the Git tree.
Signed-off-by: Daniel Borkmann <dborkman@redhat.com>
Diffstat (limited to 'Documentation/Summary')
0 files changed, 0 insertions, 0 deletions