Gitiles
Code Review Sign In
git.eclipse.org / servertools / webtools.servertools / 200a52257caf8d0dd0730b85f3197f3062c211b3 / plugins / org.eclipse.wst.server.preview.adapter / .settings / org.eclipse.jdt.core.prefs
  1. cf5631f [203586] More strict .settings by deboer · 17 years ago
  2. d23babc [201570] Move to Java 5 by deboer · 17 years ago
  3. 8959339 [182654] Separate preview server into own plugin by deboer · 17 years ago