diff .settings/org.eclipse.jdt.ui.prefs @ 122:ad73eacf560a default tip

remove warning
author e095732
date Thu, 07 Feb 2013 22:32:26 +0900
parents 083a0b5e12cc
children
line wrap: on
line diff