Merge "Add a simple .editorconfig"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 May 2018 01:33:56 +0000 (01:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 May 2018 01:33:56 +0000 (01:33 +0000)
commit967a96e7fa5910f8fc451590decb381dbfb481ba
tree6d796de8f098ac4135f1f40c4e3b8914d414edb7
parentb6e8e6b83267e1357bb04edb7976f1a11ee10a5b
parente7e4e705c3dde7141f9ab24d88ec4f236ad6549e
Merge "Add a simple .editorconfig"