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