Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.ltk.core.refactoring / .refactorings / MyDerby-10.3 / 2018 / 5 / 19 / refactorings.index

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/MyDerby-10.3/2018/5/19/refactorings.index b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/MyDerby-10.3/2018/5/19/refactorings.index
new file mode 100644 (file)
index 0000000..3c9cce6
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/MyDerby-10.3/2018/5/19/refactorings.index
@@ -0,0 +1,2 @@
+1525897129728  Delete element
+1525897148597  Delete element