diff --git a/coccinelle/.gitignore b/coccinelle/.gitignore new file mode 100644 index 0000000000..ff629c748d --- /dev/null +++ b/coccinelle/.gitignore @@ -0,0 +1 @@ +/.coccinelle-cache