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 /ifpps/Makefile | |
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 'ifpps/Makefile')
0 files changed, 0 insertions, 0 deletions