forked from OpenJML/OpenJML
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathopenjml-master.psf
18 lines (18 loc) · 1.16 KB
/
openjml-master.psf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
<?xml version="1.0" encoding="UTF-8"?>
<psf version="2.0">
<provider id="org.eclipse.egit.core.GitProvider">
<project reference="1.0,https://github.com/OpenJML/JMLAnnotations.git,master,."/>
<project reference="1.0,https://github.com/OpenJML/OpenJML.git,master,OpenJDK"/>
<project reference="1.0,https://github.com/OpenJML/OpenJML.git,master,OpenJML"/>
<project reference="1.0,https://github.com/OpenJML/OpenJML-UpdateSite.git,master,."/>
<project reference="1.0,https://github.com/OpenJML/OpenJMLDemo.git,master,."/>
<project reference="1.0,https://github.com/OpenJML/OpenJML.git,master,OpenJMLFeature"/>
<project reference="1.0,https://github.com/OpenJML/OpenJML.git,master,OpenJMLGUITests"/>
<project reference="1.0,https://github.com/OpenJML/OpenJML.git,master,OpenJMLTest"/>
<project reference="1.0,https://github.com/OpenJML/OpenJML.git,master,OpenJMLUI"/>
<project reference="1.0,https://github.com/OpenJML/SMTSolvers.git,master,."/>
<project reference="1.0,https://github.com/OpenJML/Solvers.git,master,."/>
<project reference="1.0,https://github.com/OpenJML/Specs.git,master,."/>
<project reference="1.0,https://github.com/OpenJML/OpenJML.git,master,vendor"/>
</provider>
</psf>