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

manual: update contributor list

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-06-16 02:50:23 +02:00 committed by Gerwin Klein
parent 2a06234dec
commit b5aac26d10
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
manual/manual.tex
View file

@ -131,15 +131,18 @@ Adrian~Danis,
Andrew~Boyton,
Anna~Lyons,
Axel~Heider,
Branden~Robinson,
David~Greenaway,
Etienne~Le~Sueur,
Gernot~Heiser,
Gerwin~Klein,
Godfrey~van~der~Linden,
Jimmy~Brush,
Kevin~Elphinstone,
Matthew~Fernandez,
Matthias~Daum,
Michael~von~Tessin,
Nick~Spinale,
Peter~Chubb,
Simon~Winwood,
Thomas~Sewell,