jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/365465 )
Change subject: ignore .tramp_history ...................................................................... ignore .tramp_history Change-Id: I2e8a0ebb6da2e603ed5124be65eeccfde3a73f45 --- M .gitignore 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: jenkins-bot: Verified MarkAHershberger: Verified; Looks good to me, approved diff --git a/.gitignore b/.gitignore index aa302b0..2f5650e 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ .\#* PHPTAGS.sqlite +.tramp_history -- To view, visit https://gerrit.wikimedia.org/r/365465 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2e8a0ebb6da2e603ed5124be65eeccfde3a73f45 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WhoIsWatching Gerrit-Branch: master Gerrit-Owner: MarkAHershberger <[email protected]> Gerrit-Reviewer: MarkAHershberger <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
