2020-09-30 10:36:30 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<faceted-project>
|
2020-10-15 12:58:33 +02:00
|
|
|
<installed facet="jst.utility" version="1.0"/>
|
2022-11-10 09:39:47 +01:00
|
|
|
<installed facet="java" version="1.7"/>
|
2020-09-30 10:36:30 +02:00
|
|
|
</faceted-project>
|