Re: OT: namespace pollution & prefixes

[Felix Salfelder <salfelder@em.cs.uni-frankfurt.de>]

On Mon, May 26, 2014 at 10:40:28AM +0200, Thibaut Paumard wrote:
> One advantage is that this should work even if the tools call one
> another. Another is that users can also set their own path and drop the
> prefix.

very convincing.

thanks
felix