org.eclipse.jdt.core/.settings

Repository:
Files shown:6 (Hide 1 dead files)
Sticky Tag:

File Rev. Age Author Last log entry
 Parent Directory        
.api_filters  1.10  2 days  oliviert  HEAD - Complement for 288211
org.eclipse.core.resources.prefs (dead)  1.2  4 years  oliviert  HEAD - Remove specific encoding
org.eclipse.jdt.core.prefs  1.21  4 weeks  oliviert  HEAD - Set unused import to error
org.eclipse.jdt.ui.prefs  1.4  14 months  pmulet  specified custom formatter prefs
org.eclipse.pde.api.tools.prefs  1.1  12 months  jeromel  HEAD - Enable API Tool preferences on project
org.eclipse.pde.prefs  1.1  2 years  oliviert  HEAD - Disable PDE warnings