GIT_SILENT: ignore some builddir

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

Description

GIT_SILENT: ignore some builddir

Details

Committed
mlaurentDec 10 2018, 12:23 PM
Parents
R93:ff54fcb280f5: GIT_SILENT: time to increase it
Branches
Unknown
Tags
Unknown