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