comparison .settings/org.eclipse.core.resources.prefs @ 285:cb87da39cf85

Remove unused initializing.
author kazz <kazz@cr.ie.u-ryukyu.ac.jp>
date Fri, 18 Oct 2013 03:12:49 +0900
parents 9982e1c4f099
children 797267843126
comparison
equal deleted inserted replaced
284:7188fe3f7c95 285:cb87da39cf85