diff options
Diffstat (limited to 'jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.core/.launches/Lemmini.launch')
| -rw-r--r-- | jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.core/.launches/Lemmini.launch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.core/.launches/Lemmini.launch b/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.core/.launches/Lemmini.launch new file mode 100644 index 0000000..92779e9 --- /dev/null +++ b/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.core/.launches/Lemmini.launch @@ -0,0 +1,12 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication"> +<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> +<listEntry value="/0.84/src/Lemmini.java"/> +</listAttribute> +<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> +<listEntry value="1"/> +</listAttribute> +<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="Lemmini"/> +<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="0.84"/> +<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:0.84/bin_copy}"/> +</launchConfiguration> |