GIT_SILENT: ignore more files

Authored by mlaurent on Mar 18 2019, 12:52 PM.

Description

GIT_SILENT: ignore more files

Details

Committed
mlaurentMar 18 2019, 12:52 PM
Parents
R39:5e3c5c0d11f6: ensure compatibility with old configs
Branches
Unknown
Tags
Unknown