diff --git a/.idea/.gitignore b/.idea/.gitignore new file mode 100644 index 000000000..3b866ed2d --- /dev/null +++ b/.idea/.gitignore @@ -0,0 +1,2 @@ +/gradle.xml +/workspace.xml diff --git a/.idea/.name b/.idea/.name new file mode 100644 index 000000000..f15c23b30 --- /dev/null +++ b/.idea/.name @@ -0,0 +1 @@ +com.ibm.wala \ No newline at end of file diff --git a/.idea/misc.xml b/.idea/misc.xml new file mode 100644 index 000000000..12c099175 --- /dev/null +++ b/.idea/misc.xml @@ -0,0 +1,7 @@ + + + + + + + \ No newline at end of file diff --git a/.idea/vcs.xml b/.idea/vcs.xml new file mode 100644 index 000000000..94a25f7f4 --- /dev/null +++ b/.idea/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file