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


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]

Reply via email to