| bin.includes = .options,\ | |
| plugin.xml,\ | |
| plugin.properties,\ | |
| *.jar | |
| build.includes = .options,\ | |
| plugin.jars,\ | |
| plugin.xml,\ | |
| plugin.properties,\ | |
| doc/,\ | |
| build.properties | |
| build.vaj.Eclipse\ Debug\ Core = Eclipse Debug Core | |
| source.dtcore.jar = Eclipse Debug Core |