WALA/.idea/vcs.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="VcsDirectoryMappings">
    <mapping directory="$PROJECT_DIR$" vcs="Git" />
  </component>
</project>
Add or ignore several metadata files created by IntelliJ IDEA I decided which to keep and which to ignore by following advice given at <https://intellij-support.jetbrains.com/hc/en-us/articles/206544839> and <https://github.com/github/gitignore/blob/master/Global/JetBrains.gitignore>, which in turn influenced <https://www.gitignore.io/api/jetbrains>. 2018-04-23 19:51:56 +00:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
			`<component name="VcsDirectoryMappings">`
			`<mapping directory="$PROJECT_DIR$" vcs="Git" />`
			`</component>`
			`</project>`