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
R78:4b67739abd0a: GIT_SILENT: time to increase it
Branches
Unknown
Tags
Unknown