Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.ltk.core.refactoring / .refactorings / .workspace / 2018 / 9 / 37 / refactorings.index

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2018/9/37/refactorings.index b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2018/9/37/refactorings.index
new file mode 100644 (file)
index 0000000..9702da8
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2018/9/37/refactorings.index
@@ -0,0 +1,5 @@
+1536757702792  Delete resource 'RemoteSystemsTempFiles'
+1536757756807  Delete resource 'MyDerby-10.3'
+1536757785857  Delete resource 'jigsaw'
+1536757791140  Delete resource 'derby-10.3.2.1'
+1536757796270  Delete resource 'weblech'