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