secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add .gitattributes to mark binary files 

Git doesn't recognise the microkit_flow.pdf pictures as a binary file.
Add an explicit declaration for it in .gitattributes.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-15 19:15:24 +10:00
parent 3f9df643d9
commit 5faf21411c
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitattributes vendored Normal file
View File

@ -0,0 +1,4 @@
# Copyright 2025 Proofcraft Pty Ltd
# SPDX-License-Identifier: BSD-2-Clause
/projects/microkit/manual/2.0.1/assets/microkit_flow.pdf binary

3
.gitmodules vendored
View File

@ -1,3 +0,0 @@
# Copyright 2020 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: BSD-2-Clause