Richard Heck wrote: > Is there a reason not to commit such a script to development/tools/?
No. Except that I thought it would be of no use for anybody but me (and now you). Jürgen
Richard Heck wrote: > Is there a reason not to commit such a script to development/tools/?
No. Except that I thought it would be of no use for anybody but me (and now you). Jürgen