GIT_SILENT: ignore some builddir

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

Description

GIT_SILENT: ignore some builddir

Details

Committed
mlaurentDec 10 2018, 12:24 PM
Parents
R1003:26c813f6a82b: GIT_SILENT: time to increase it
Branches
Unknown
Tags
Unknown