Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.ltk.core.refactoring / .refactorings / .workspace / 2017 / 12 / 49 / refactorings.history

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2017/12/49/refactorings.history b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2017/12/49/refactorings.history
new file mode 100644 (file)
index 0000000..9bd5ebb
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2017/12/49/refactorings.history
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<session version="1.0">
+<refactoring comment="Delete resource &apos;mapdb-master&apos;" deleteContents="true" description="Delete resource &apos;mapdb-master&apos;" element1="/mapdb-master" flags="7" id="org.eclipse.ltk.core.refactoring.delete.resources" resources="1" stamp="1512417419988"/>
+</session>
\ No newline at end of file