diff options
Diffstat (limited to 'id.server/.project')
| -rw-r--r-- | id.server/.project | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/id.server/.project b/id.server/.project index 1100ed330..52e2efda0 100644 --- a/id.server/.project +++ b/id.server/.project @@ -7,6 +7,17 @@ </projects> <buildSpec> <buildCommand> + <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name> + <arguments> + <dictionary> + <key>LaunchConfigHandle</key> + <value><?xml version="1.0" encoding="UTF-8"?> +<launchConfiguration local="false" path="/id.server/.externalToolBuilders/Ant builder.launch"/> +</value> + </dictionary> + </arguments> + </buildCommand> + <buildCommand> <name>org.eclipse.jdt.core.javabuilder</name> <arguments> </arguments> |