Hashar has uploaded a new change for review. Change subject: make sure we delete any LocalSettings.php ......................................................................
make sure we delete any LocalSettings.php Change-Id: If7d25d3342b841bdad6480dda2564545680de201 --- M jobs/_shared/build.xml 1 file changed, 1 insertion(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins refs/changes/31/16031/1 -- To view, visit https://gerrit.wikimedia.org/r/16031 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If7d25d3342b841bdad6480dda2564545680de201 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <has...@free.fr> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
