Skip to content

Commit

Permalink
Updating default.xml
Browse files Browse the repository at this point in the history 
Change-Id: Icb3dd0baea83d8f4cf85ce509f44614e3ce7388e
  • Loading branch information
@seL4-ci
seL4-ci committed Feb 19, 2024
1 parent 01645e3 commit 866ed11
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 866ed11

Please sign in to comment.