From 6c3dadac75f6679dd96b8a1ef1dac2c312b2099d Mon Sep 17 00:00:00 2001 From: fixminer Date: Mon, 6 Apr 2020 20:50:22 +0200 Subject: [PATCH] remove simple-utils --- .idea/workspace.xml | 192 ++++++++++++++++++++++++++++++++++++-- gumtree/gen.srcml/pom.xml | 10 +- 2 files changed, 189 insertions(+), 13 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 79d662e..81e233b 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,20 +1,109 @@ - -