-
Pavel Borzenkov authored
'make uninstall' should remove the 'plugin' directory only if it's empty. Also, this patch adds .gitignore file. Signed-off-by:
Pavel Borzenkov <pavel.borzenkov@gmail.com> Signed-off-by:
Sebastian Ramacher <s.ramacher@gmx.at>
d9a505aa