issues
search
seL4
/
docs
This is the source of the seL4 docs.
https://docs.sel4.systems
16
stars
52
forks
source link
remove warnings
#251
Closed
lsf37
closed
5 months ago
lsf37
commented
5 months ago
address Ruby "Using the last argument as keyword parameters is deprecated" warning
fix the Liquid syntax error that was drowned out by those warnings