DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
WALA/.idea/.gitignore

7 lines
84 B
Plaintext
Raw Normal View History

Tweaks and instructions for WALA as an IntelliJ IDEA project We already had some IntelliJ IDEA project metadata files in ".idea". I've revisited and updated those now that I have more experience with Gradle + IntelliJ IDEA + Git. I think this now represents a better set of decisions regarding what does and does not belong in version control. This commit also extends "README-Gradle.md" with clear instructions on how to bringup WALA as a top-level IntelliJ IDEA project. The instructions are of a similar flavor to the Eclipse instructions that were already present, though the details vary. Most notably, with IntelliJ IDEA you should *open* WALA as an existing project, not *import* it as a new Gradle project derived from "build.gradle". This is exactly the reverse of what one should and shouldn't do for WALA in Eclipse.
2018-07-12 18:53:37 +00:00
*.iml
/libraries/*.xml
/modules.xml
/tasks.xml
/usage.statistics.xml
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
/workspace.xml