Google Git
Sign in
eclipse/jeetools/webtools.javaee/refs/heads/R3_4_maintenance/./plugins/org.eclipse.jst.servlet.ui/property_files
tree: ea1b21d99d378e54c6ca8b70ea36113f999cc4e2
  1. web_ui.properties