diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-19 16:45:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-19 16:45:55 +0100 |
| commit | bea607d53e4adff19956adbe09ace170d8cc40b8 (patch) | |
| tree | 3802f8e39760fef3853e295a3c93239d223efbd4 /.gitignore | |
| parent | 4a088879502a1ac80c6ab791d79b7a5482aef811 (diff) | |
| parent | 8354bb463856373c358653feacdfa20b97e0d80f (diff) | |
Merge pull request #13015 from hoelzl/pr-vs-no-progress
Suppress progress messages in Visual Studio output pane
[ci skip]
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions