On úterý 19. září 2017 15:24:53 CEST Bertrand Delacretaz wrote: > Hi, > > On Sun, Sep 17, 2017 at 5:06 PM, Jan Lahoda <[email protected]> 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.
We don't have tools repository as far as I know. -jt
