2021-05-06 17:48:18 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<faceted-project>
|
|
|
|
<fixed facet="wst.jsdt.web"/>
|
|
|
|
<installed facet="wst.jsdt.web" version="1.0"/>
|
2022-05-18 16:02:39 +02:00
|
|
|
<installed facet="java" version="1.8"/>
|
2023-01-27 15:14:29 +01:00
|
|
|
<installed facet="jst.utility" version="1.0"/>
|
2021-05-06 17:48:18 +02:00
|
|
|
</faceted-project>
|