RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Update VERSION file to 14.0.0-dev

Browse Source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
seL4 CI
2025-11-25 09:28:19 +11:00
committed by Gerwin Klein
parent c0fc32450f
commit 233c984e3b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
VERSION
View File

@@ -1 +1 @@
14.0.0
14.0.0-dev