summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@inria.fr>2021-10-23 17:56:47 +0200
committerJulia Lawall <Julia.Lawall@inria.fr>2021-10-23 21:48:36 +0200
commit33e71e95f4eb444646cada9d90e41984ba2c173d (patch)
treeb8da0f3ac4fe8e8108c62e0d1145c7811df45705 /scripts
parentac5f313624d876b41d4a1292181d17e80d44159c (diff)
coccinelle: update Coccinelle entry
Update mailing list, website, and tree. Drop Michal Marek as a maintainer, who has not participated in a long time. Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr> Reviewed-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions