view .settings/org.eclipse.jdt.ui.prefs @ 105:be9b84a77b15

default branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 27 May 2010 19:30:20 +0900
parents 083a0b5e12cc
children
line wrap: on
line source

#Wed Jun 27 10:08:20 JST 2007
eclipse.preferences.version=1
org.eclipse.jdt.ui.ignorelowercasenames=true
org.eclipse.jdt.ui.importorder=java;javax;org;com;
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"?><templates/>