On Sun, Dec 29, 2019 at 8:44 PM Dario Binacchi <dariobin at libero.it> wrote: > > Add the tool to the ignore list to prevent being marked as unversioned. > > Signed-off-by: Dario Binacchi <dariobin at libero.it> > --- > > tools/.gitignore | 1 + > 1 file changed, 1 insertion(+) > Reviewed-by: Bin Meng <bmeng.cn at gmail.com>