| <?xml version="1.0" encoding="UTF-8"?> | |
| <!-- | |
| Copyright (c) 2015 Mia-Software. | |
| All rights reserved. This program and the accompanying materials | |
| are made available under the terms of the Eclipse Public License v1.0 | |
| which accompanies this distribution, and is available at | |
| http://www.eclipse.org/legal/epl-v10.html | |
| Contributors: | |
| Grégoire Dupé (Mia-Software) - Bug 477657 - The catalog manager should be able to manage workspace model | |
| --> | |
| <classpath> | |
| <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/> | |
| <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | |
| <classpathentry kind="src" path="src"> | |
| <attributes> | |
| <attribute name="ignore_optional_problems" value="true"/> | |
| </attributes> | |
| </classpathentry> | |
| <classpathentry kind="output" path="bin"/> | |
| </classpath> |