gerrit/org.eclipse.jdt.ui.prefs at v2.14.5 - gerrit - OpenDev: Free Software Needs Free Tools

opendev/gerrit

David Ostrovsky aceab96289 Remove internal Eclipse java formatter

This is a preparation change to support gjf Eclipse plugin.

Change-Id: I5ea3946c87f64f37087952f31e509832822dd60f

2017-02-10 09:20:15 +00:00

6 lines

277 B

INI

Raw Permalink Blame History

 eclipse.preferences.version=1
 org.eclipse.jdt.ui.ignorelowercasenames=true
 org.eclipse.jdt.ui.ondemandthreshold=99
 org.eclipse.jdt.ui.staticondemandthreshold=99
 org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>