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.
1 Commit
49 Branches
Tree: 1a6964c827
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '1a6964c827'
${ noResults }
jgit/org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs

org.eclipse.jdt.ui.prefs 396B
Raw Blame History

123456789 
  1. #Wed May 09 00:20:24 CEST 2007

  2. eclipse.preferences.version=1

  3. formatter_profile=_JGit

  4. formatter_settings_version=10

  5. org.eclipse.jdt.ui.ignorelowercasenames=true

  6. org.eclipse.jdt.ui.importorder=java;javax;org;com;

  7. org.eclipse.jdt.ui.ondemandthreshold=99

  8. org.eclipse.jdt.ui.staticondemandthreshold=99

  9. org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>