diff options
author | Nicolas Palix <npalix@diku.dk> | 2010-08-24 17:39:09 +0200 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2010-08-31 11:37:54 +0200 |
commit | 77c272fb24507c43fa301e3da83eb7d67d36a544 (patch) | |
tree | c30a061d5c73bea5740ccad341c43d521cbc2b39 /scripts | |
parent | 99d653d4bc269aebf255f3864334110dbcc70f37 (diff) |
Coccinelle: Move resource_size.cocci to the api directory
Signed-off-by: Nicolas Palix <npalix@diku.dk>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>
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 |