Yurik has submitted this change and it was merged. Change subject: Ignore IDEA dir ......................................................................
Ignore IDEA dir Change-Id: I36573e70a8187d12c2bb46772788f1b29802ca9c --- M .gitignore 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Yurik: Verified; Looks good to me, approved diff --git a/.gitignore b/.gitignore index c892425..a359b3f 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +.idea graphoid.iml coverage config.yaml -- To view, visit https://gerrit.wikimedia.org/r/202005 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I36573e70a8187d12c2bb46772788f1b29802ca9c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/graphoid Gerrit-Branch: master Gerrit-Owner: Yurik <yu...@wikimedia.org> Gerrit-Reviewer: Yurik <yu...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits