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

Reply via email to