view .settings/org.eclipse.wst.jsdt.ui.superType.container @ 5:7d231e4e86e5

environment setting
author Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
date Fri, 12 Apr 2013 14:28:32 +0200
parents
children
line wrap: on
line source

org.eclipse.wst.jsdt.launching.baseBrowserLibrary