Skip to content

Commit

Permalink
Updating default.xml
Browse files Browse the repository at this point in the history
Change-Id: If03a083bcc7dc9f9d4b91e333baa263056b77523
  • Loading branch information
seL4-ci committed Jan 2, 2024
1 parent f91fb78 commit 040ebdb
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions default.xml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<!--
Copyright 2023 seL4 Project a Series of LF Projects, LLC
Copyright 2024 seL4 Project a Series of LF Projects, LLC
SPDX-License-Identifier: BSD-2-Clause
-->
<manifest>
Expand All @@ -20,7 +20,7 @@
<project name="musllibc.git" path="projects/musllibc" revision="9798aedbc3ee5fa3c1d7f788e9312df9203e7b0b" upstream="sel4" dest-branch="sel4"/>
<project name="polly" path="tools/polly" remote="polly" revision="ef7e79c2c297d456f2742fd0b976f555d058d4e0" upstream="master" dest-branch="master"/>
<project name="projects_libs.git" path="projects/projects_libs" revision="1e7f0b6ec0405b3288c606fd7e782660ace4aa07" upstream="master" dest-branch="master"/>
<project name="seL4.git" path="kernel" revision="498fd84a55d2b3578666c4f0d8bbfabdfc4f59d8" upstream="master" dest-branch="master"/>
<project name="seL4.git" path="kernel" revision="ed613d7d490be91f7f164ff98e09d9098de64d6e" upstream="master" dest-branch="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="043999f481d8f72f7993eb3d27f3cf3eb66b00a7" upstream="master" dest-branch="master"/>
<project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" revision="0d46afe203cda3f85ed2d86fb3ba5fe2e181e554" upstream="master" dest-branch="master"/>
<project name="seL4_tools.git" path="tools/seL4" revision="df31d5a844993166c88c8a1ccce5dd42018a7296" upstream="master" dest-branch="master"/>
Expand Down

0 comments on commit 040ebdb

Please sign in to comment.