[MediaWiki-commits] [Gerrit] mediawiki/core[master]: .gitignore: Exclude Extension:Score generated files
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/394838 ) Change subject: .gitignore: Exclude Extension:Score generated files .. .gitignore: Exclude Extension:Score generated files Chan
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: .gitignore: Exclude Extension:Score generated files
Legoktm has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/394838 ) Change subject: .gitignore: Exclude Extension:Score generated files .. .gitignore: Exclude Extension:Score generated files Change-Id: Ic9cd