← Back to branch summary

~josejuan-sanchez/+junk/original-jhv-experimental-version

« back to all changes in this revision

Viewing changes to .metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs

  • Committer: José Juan Sánchez Hernández
  • Date: 2013-02-05 13:32:08 UTC
  • Revision ID: josejuan.sanchez@gmail.com-20130205133208-dfz1sh1uge5pjkny
Initial import

Show diffs side-by-side

added added

removed removed

Lines of Context:
.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs
 
1
#Wed Oct 17 11:48:14 CEST 2012
 
2
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 
3
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
 
4
eclipse.preferences.version=1
 
5
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 
6
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 
7
org.eclipse.jdt.core.compiler.source=1.6
 
8
org.eclipse.jdt.core.codeComplete.visibilityCheck=enabled
 
9
org.eclipse.jdt.core.compiler.compliance=1.6