Hi, On Sun, Sep 17, 2017 at 5:06 PM, Jan Lahoda <lah...@gmail.com> wrote: > ...I've uploaded an updated version of the tool...
You mean the tool is not in Git? I think it should, maybe using a specific "tools" repository. -Bertrand
Hi, On Sun, Sep 17, 2017 at 5:06 PM, Jan Lahoda <lah...@gmail.com> wrote: > ...I've uploaded an updated version of the tool...
You mean the tool is not in Git? I think it should, maybe using a specific "tools" repository. -Bertrand