GIT_SILENT: ignore some builddir

Authored by mlaurent on Dec 10 2018, 12:22 PM.

Description

GIT_SILENT: ignore some builddir

Details

Committed
mlaurentDec 10 2018, 12:22 PM
Parents
R178:8c46bddb1b11: GIT_SILENT: time to increase it
Branches
Unknown
Tags
Unknown