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