Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.rse.ui / dialog_settings.xml

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.rse.ui/dialog_settings.xml b/JMCR-Stable/.metadata/.plugins/org.eclipse.rse.ui/dialog_settings.xml
new file mode 100644 (file)
index 0000000..855bfdb
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.rse.ui/dialog_settings.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<section name="Workbench">
+       <section name="RemoteSearchPage">
+       </section>
+</section>