Google Git
Sign in
eclipse / gerrit / jeetools / webtools.javaee / 0fdc21adb45cfbefcabd9f2e7d8ecff2e7bbb203 / . / plugins / org.eclipse.jst.j2ee.web / property_files
tree: 839c4d6e20b4654c851d5a4c0621511d1e1e34bc [path history] [tgz]
  1. warvalidation.properties
  2. web.properties
  3. webedit.properties