Merge remote-tracking branch 'origin/master'

沈斌

2017-11-15 ad42a81e625f1e7a982a94994d7d5f3314c71fbd

1
2
3
4
5
6
7
<?xml version="1.0" encoding="UTF-8"?> 
<faceted-project> 
  <fixed facet="wst.jsdt.web"/> 
  <installed facet="java" version="1.5"/> 
  <installed facet="jst.web" version="2.3"/> 
  <installed facet="wst.jsdt.web" version="1.0"/> 
</faceted-project>