Google Git
Sign in
eclipse/gerrit/jeetools/webtools.javaee/72afb1c03cf95dc3ab05130863f43f748edfc7c9/./plugins/org.eclipse.jst.servlet.ui/property_files
tree: ea1b21d99d378e54c6ca8b70ea36113f999cc4e2
  1. web_ui.properties