Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.ui.workbench / workingsets.xml

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.ui.workbench/workingsets.xml b/JMCR-Stable/.metadata/.plugins/org.eclipse.ui.workbench/workingsets.xml
new file mode 100644 (file)
index 0000000..b36e0de
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.ui.workbench/workingsets.xml
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<workingSetManager>
+<workingSet aggregate="true" factoryID="org.eclipse.ui.internal.WorkingSetFactory" id="1504030854041_0" label="Window Working Set" name="Aggregate for window 1504030854041"/>
+</workingSetManager>
\ No newline at end of file