Skip to content

Update .gitignore

Eduardo Rodrigues requested to merge erodrigu-master-patch-32365 into master

Do this in a separate MR as per the discussion in MR !819 (merged).

FYI @mferrill and @graven.

Merge request reports