From 296120cf83ac8bae853a494ebdbe6bdcd78606e6 Mon Sep 17 00:00:00 2001 From: mimic Date: Mon, 8 Jun 2020 11:43:24 +0200 Subject: [PATCH 1/2] change --- .idea/encodings.xml | 8 + .idea/workspace.xml | 1232 ++--------------- README.md | 7 + fixminer.sh | 6 + .../__pycache__/__init__.cpython-37.pyc | Bin 169 -> 165 bytes python/javaDS.py | 2 + .../main/java/edu/lu/uni/serval/Launcher.java | 3 +- .../serval/richedit/jobs/EnhancedASTDiff.java | 50 +- src/main/resources/config.yml | 12 +- 9 files changed, 180 insertions(+), 1140 deletions(-) create mode 100644 fixminer.sh diff --git a/.idea/encodings.xml b/.idea/encodings.xml index 3b2fa6d..03b68ee 100644 --- a/.idea/encodings.xml +++ b/.idea/encodings.xml @@ -5,9 +5,17 @@ + + + + + + + + \ No newline at end of file diff --git a/.idea/workspace.xml b/.idea/workspace.xml index cbfff81..9f27d8d 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,36 +2,14 @@ + - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - -