Google Git
Sign in
eclipse/jeetools/webtools.javaee/e8b12334619d9b0e8a9eba6cd7e2cef9c51a7c3a/./plugins/org.eclipse.jst.j2ee.web/property_files
tree: 70d780b8fe67cb5f60bbff034accd11b7374d550
  1. ProjectSupport.properties
  2. warvalidation.properties
  3. web.properties
  4. webedit.properties