Adding JMCR-Stable version
[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.ltk.core.refactoring / .refactorings / .workspace / 2018 / 5 / 19 / refactorings.history
diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2018/5/19/refactorings.history b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2018/5/19/refactorings.history
new file mode 100644 (file)
index 0000000..a7d9f54
--- /dev/null
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<session version="1.0">&#x0A;<refactoring comment="Delete resource &apos;concurrent-trees&apos;" deleteContents="false" description="Delete resource &apos;concurrent-trees&apos;" element1="/concurrent-trees" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1525894084054"/>&#x0A;<refactoring comment="Delete resource &apos;concurrency-bugs-subjects&apos;" deleteContents="false" description="Delete resource &apos;concurrency-bugs-subjects&apos;" element1="/concurrency-bugs-subjects" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1525894095244"/>&#x0A;<refactoring comment="Delete resource &apos;mcr-test-concurrent-objectPool&apos;" deleteContents="false" description="Delete resource &apos;mcr-test-concurrent-objectPool&apos;" element1="/mcr-test-concurrent-objectPool" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1525894116009"/>
+</session>
\ No newline at end of file