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.
108 Commits
49 Branches
Tree: 56f6d9ebc3
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '56f6d9ebc3'
${ noResults }
jgit/org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.core.prefs

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

1234567 
  1. #Tue Jan 12 23:43:54 CET 2010

  2. eclipse.preferences.version=1

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

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

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

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

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