[459714] Version update for WTP 3.7.0-webtools.servertools
Merge branch 'master' of ssh://shung@git.eclipse.org/gitroot/servertools/webtools.servertools.git
tree: 61e15ca513e960fde6958d6deb439a33108b2cba
  1. features/
  2. plugins/
  3. .gitignore
  4. pom.xml