Re: [PATCH] setup-plugins-env.sh: avoid empty dir in GRL_PLUGIN_PATH



On Wed, 2011-01-19 at 12:02 +0100, Guillaume Emont wrote:
> This can avoid annoying warnings when trying to load plugins from all dirs in
> GRL_PLUGIN_PATH.

Pushed.

	J.A.




[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]