annotate .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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 org.eclipse.wst.jsdt.launching.baseBrowserLibrary