portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
4929 commits 1 branch 42 tags 18 MiB
Commit graph

2 commits

Author SHA1 Message Date
Gerwin Klein
506f20d696 CHANGES.md: add missing copyright 
When we renamed CHANGES to CHANGES.md, the copyright info from
reuse/dep5 for CHANGES was not transferred.

Remove CHANGES from .reuse/dep5 and add info to CHANGES.md directly.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2026-05-06 14:19:38 +02:00
Gerwin Klein
892a517633 dep5 file for additional license information 
This file provides license and copyright information for everything
that cannot be tagged inline.
 2020-03-09 18:00:18 +08:00