On 10/06/2011 03:09 PM, Pavel Borzenkov wrote: > 'make uninstall' should remove the 'plugin' directory only if it's > empty. > > Also, this patch adds .gitignore file.
Thanks, applied. _______________________________________________ zathura mailing list zathura@lists.pwmt.org http://lists.pwmt.org/mailman/listinfo/zathura