secc
/
seL4-camkes-manifest
mirror of https://github.com/seL4/camkes-manifest.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

master.xml: Added cakeml_libs repo to manifest

This commit is contained in:
Adam Felizzi 2018-10-24 16:53:37 +11:00
parent 77d6fb1f66
commit cd4d26538e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
master.xml
View File

@ -34,4 +34,5 @@
<project name="camkes.git" path="projects/camkes"/>
<project remote="SEL4PROJ" name="seL4_projects_libs.git" path="projects/seL4_projects_libs"/>
<project remote="SEL4PROJ" name="projects_libs.git" path="projects/projects_libs"/>
<project remote="SEL4PROJ" name="cakeml_libs.git" path="projects/cakeml_libs"/>
</manifest>