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

Updating default.xml 

Change-Id: Id2b82f115a80869f5ea609fd622d04fef0f22a5a
This commit is contained in:
seL4 CI 2025-07-08 10:16:25 +00:00
parent e80c4bdf22
commit 35d4d5a909
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
default.xml
View File

@ -30,5 +30,5 @@
<project name="sel4webserver.git" path="projects/webserver" revision="efe3eb8e7ad6c264f6156ff8d5c9a417070cfe62" upstream="master" dest-branch="master">
<linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="f8ac370203d8b65cfd4b573fdd1f27c4850351df" upstream="master" dest-branch="master"/>
<project name="util_libs.git" path="projects/util_libs" revision="1ba664001364c57599dfcda707adec16ee646bb5" upstream="master" dest-branch="master"/>
</manifest>