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