Documentation fixes - Githubissues

seL4 / sel4test

Test suite for seL4.

http://sel4.systems

Other

24 stars 60 forks source link

Closed axel-h closed 10 months ago

axel-h commented 10 months ago

Documentation fixes

lsf37 commented 10 months ago

Happy for it to be merged once the gitlint/DCO failures are addressed.

axel-h commented 10 months ago

Happy for it to be merged once the gitlint/DCO failures are addressed.

fixed.