Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.pde.core / .extensions / .manager / .fileTable.7

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7 b/JMCR-Stable/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7
new file mode 100644 (file)
index 0000000..b18bca5
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7
@@ -0,0 +1,10 @@
+#safe table
+#Tue Dec 12 17:48:35 CST 2017
+.contributors=0
+.table=0
+.mainData=0
+.namespaces=0
+.orphans=0
+.extraData=0
+.contributions=0
+.crca1ec9d33.v1