On 28/05/2021 03:38, Matthew Fernandez wrote:
I would guess click the “Edit page on GitHub” link at the bottom of the tutorial page.
Yes... but I'm a clueless newbie, so I wouldn't presume to make such changes correctly. Who's in charge of quality assurance for the documentation?
- Rod _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
