"Geir Magnusson Jr." <[EMAIL PROTECTED]> writes: > If the problem is tools/tools/... > > Why not > > tools/library/... > > As suggested by the docs...
+1, that sounds _much_ nicer. -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
