.settings/org.eclipse.wst.jsdt.ui.superType.container
author cavaliet
Fri, 04 Jul 2014 16:58:31 +0200
changeset 119 a1cf7fac5c2d
parent 0 7f95f8617b0b
permissions -rw-r--r--
adapt code to be compatible with dinosaur php 5.3

org.eclipse.wst.jsdt.launching.baseBrowserLibrary