.settings/org.eclipse.wst.jsdt.ui.superType.name
changeset 305 436a31d11f1d
parent 57 5422b3d398c5
equal deleted inserted replaced
290:2ddd11ec2da2 305:436a31d11f1d