Skip to content

Commit

Permalink
Release 13.0.0-dev: Updating default.xml
Browse files Browse the repository at this point in the history 
Change-Id: I72effe9131d24bcc62777b4e9257b057f85d8d17
  • Loading branch information
@seL4-ci
seL4-ci committed Jul 1, 2024
1 parent 0ff1e7b commit 7783dcd
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 7783dcd

Please sign in to comment.