- 07 Mar, 2018 1 commit
-
-
Sebastian Ramacher authored
-
- 06 Nov, 2013 1 commit
-
-
Moritz Lipp authored
-
- 11 Mar, 2012 1 commit
-
-
Sebastian Ramacher authored
Otherwise we relink everytime we just want to install the plugin.
-
- 08 Feb, 2012 2 commits
-
-
Moritz Lipp authored
-
Moritz Lipp authored
-
- 06 Oct, 2011 1 commit
-
-
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>
-