comparison .settings/org.eclipse.jdt.core.prefs @ 493:f3aae56b478f dispose

use new API
author sugi
date Thu, 11 Dec 2014 18:26:11 +0900
parents b8b8ce9032f8
children ffaacab84d1a
comparison
equal deleted inserted replaced
492:24e535123df7 493:f3aae56b478f