Merge pull request #8497 from ronald-cron-arm/remove-cocci-files-2.28

[Backport 2.28] Remove unused *.cocci files
Mbed-TLS · Nov 20, 2023 · feb98cc · feb98cc
2 parents 181844f + eb8f498
commit feb98cc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 27 deletions.
diff --git a/scripts/find-mem-leak.cocci b/scripts/find-mem-leak.cocci
diff --git a/scripts/rm-calloc-cast.cocci b/scripts/rm-calloc-cast.cocci