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