mirrors
/
jgit
mirror of https://github.com/eclipse/jgit.git
Watch 1
Star 0
Fork 0
Code Issues 0 Releases 204 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1459 Commits
49 Branches
Tree: dc30c95d97
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'dc30c95d97'
${ noResults }
jgit/org.eclipse.jgit.ant.test/.settings/org.eclipse.jdt.core.prefs

org.eclipse.jdt.core.prefs 387B
Raw Blame History

12345678 
  1. #Sat Feb 12 08:27:33 PST 2011

  2. eclipse.preferences.version=1

  3. org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled

  4. org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5

  5. org.eclipse.jdt.core.compiler.compliance=1.5

  6. org.eclipse.jdt.core.compiler.problem.assertIdentifier=error

  7. org.eclipse.jdt.core.compiler.problem.enumIdentifier=error

  8. org.eclipse.jdt.core.compiler.source=1.5