search

seL4 / seL4_projects_libs

Other
19 stars 36 forks source link

trivial: revert Copyright headers #89

Closed abrandnewusername closed 1 year ago

abrandnewusername commented 1 year ago

Fix the Copyright headers that have been altered incorrectly in a previous PR.