summaryrefslogtreecommitdiff
path: root/Documentation/Summary
diff options
context:
space:
mode:
authorDaniel Borkmann <dborkman@redhat.com>2013-03-30 11:51:04 +0100
committerDaniel Borkmann <dborkman@redhat.com>2013-03-30 11:51:04 +0100
commit3107cf8c5c9604844827831b28d585c558504166 (patch)
tree8d023d8d15db0506661d4feec64e056923683153 /Documentation/Summary
parent367efea8c9ba557a81158a69ecee267706a520eb (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