diff --git a/.idea/workspace.xml b/.idea/workspace.xml index db7ab92..3ac1090 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,7 +1,12 @@ - + + + + + + @@ -31,6 +36,15 @@ + + + + + + + + + @@ -43,7 +57,7 @@ - + @@ -53,19 +67,14 @@ - + - - + + - - - - - @@ -78,6 +87,24 @@ + + + + + + + + + + + + + + + + + + @@ -87,33 +114,11 @@ - - - - - - - - - - - - - - - - - - - - - - - + @@ -150,6 +155,7 @@ parseChangedSourceCodeWithGumTree2 compareCFilesWithGumTree TestGumtreeMatcher + project.build.sourceEncoding fixminer @@ -179,8 +185,6 @@ @@ -259,7 +265,12 @@ - + + + + + +