deleted unnecessary "folder.addPlaceholder(IPageLayout.ID_RES_NAV);"
[phpeclipse.git] / net.sourceforge.phpeclipse.launching / build.properties
1 source.launch.jar = src/