Google Git
Sign in
eclipse/jeetools/webtools.javaee/cd5305cdbf74934c2daeb58bd472b0c042b08369/./plugins/org.eclipse.jst.j2ee.web/property_files
tree: 586884dd9f07f4bef6d09b94a958eb48fd2f152d
  1. warvalidation.properties
  2. web.properties
  3. webedit.properties