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