portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update VERSION file to 15.0.0-dev

Browse source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
seL4 CI 2026-03-31 10:27:53 +11:00 committed by Gerwin Klein
parent 881de507fe
commit 3f590a6027
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 @@
15.0.0
15.0.0-dev