devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 10 Actions Packages Projects 1 Releases Wiki Activity

merge/upstream-full #105

Manually merged
jabber.developer merged 407 commits from merge/upstream-full into master 2026-05-26 17:54:34 +00:00
Conversation 6 Commits 407 Files Changed 303 +13305 -36187
392 changed files with 13305 additions and 36187 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 3b988f6790 - Show all commits

10
.gitattributes vendored Normal file
View File

@@ -0,0 +1,10 @@
# Pattern Attribute
.clang-format export-ignore
.codespellrc export-ignore
.git-blame-ignore-revs export-ignore
.github/* export-ignore
CONTRIBUTING.md export-ignore
RELEASE_GUIDE.md export-ignore
ci/* export-ignore
prof.supp export-ignore
scripts/* export-ignore