secc
/
seL4
mirror of https://github.com/seL4/seL4.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update VERSION file to 13.0.0-dev 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
seL4 CI 2024-07-01 17:20:56 +10:00 committed by Gerwin Klein
parent cd6d3b8c25
commit 7a3ab6bb2e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
VERSION
View File

@ -1 +1 @@
13.0.0
13.0.0-dev