CHANGES: rename to .md

so that GitHub properly renders the file as markdown. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jun 27, 2024 · c4bcbbf · c4bcbbf
1 parent b567813
commit c4bcbbf
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/CHANGES → CHANGES.md b/CHANGES → CHANGES.md