Gitiles
Code Review Sign In
git.eclipse.org / servertools / webtools.servertools / ce2474ed3b86fcdfa5f94bb697e0bb348e308578 / plugins / org.eclipse.wst.internet.monitor.ui / .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. 31b3609 [175782] Updating settings by deboer · 17 years ago
  4. 7981783 [170702] Add execution environment by deboer · 17 years ago
  5. bb78704 [163907] Set project encoding and compilation settings by deboer · 18 years ago