This repository has been archived on 2021-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
2015-11-30 17:55:04 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<faceted-project>
|
|
|
|
<fixed facet="wst.jsdt.web"/>
|
2016-09-26 18:06:54 +02:00
|
|
|
<installed facet="jst.web" version="3.0"/>
|
2015-11-30 17:55:04 +01:00
|
|
|
<installed facet="wst.jsdt.web" version="1.0"/>
|
2020-06-03 18:32:21 +02:00
|
|
|
<installed facet="java" version="1.8"/>
|
2015-11-30 17:55:04 +01:00
|
|
|
</faceted-project>
|