Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.core.resources / .projects / mcr-engine / .markers

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.core.resources/.projects/mcr-engine/.markers b/JMCR-Stable/.metadata/.plugins/org.eclipse.core.resources/.projects/mcr-engine/.markers
new file mode 100644 (file)
index 0000000..7874fa1
Binary files /dev/null and b/JMCR-Stable/.metadata/.plugins/org.eclipse.core.resources/.projects/mcr-engine/.markers differ