diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/coccinelle/api/resource_size.cocci (renamed from scripts/coccinelle/resource_size.cocci) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/coccinelle/resource_size.cocci b/scripts/coccinelle/api/resource_size.cocci index 1935a58b39d..1935a58b39d 100644 --- a/scripts/coccinelle/resource_size.cocci +++ b/scripts/coccinelle/api/resource_size.cocci |