Skip to content

Commit

Permalink
Updating default.xml
Browse files Browse the repository at this point in the history 
Change-Id: Ic5f981e6f68b22da749d283637902d03c9f5cf34
  • Loading branch information
@seL4-ci
seL4-ci committed Jun 12, 2024
1 parent 6b95e4b commit c778248
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit c778248

Please sign in to comment.