diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/coccinelle/README | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/admin/coccinelle/README b/admin/coccinelle/README index 48a88dbc8d8..0e7bd9dd946 100644 --- a/admin/coccinelle/README +++ b/admin/coccinelle/README | |||
| @@ -1,3 +1,5 @@ | |||
| 1 | This directory contains semantic patches for Coccinelle, a program matching | 1 | This directory contains semantic patches for Coccinelle, a program matching |
| 2 | and transformation tool for programs written in C. For more details, see | 2 | and transformation tool for programs written in C. |
| 3 | http://coccinelle.lip6.fr. | 3 | |
| 4 | For more information, see: | ||
| 5 | https://coccinelle.gitlabpages.inria.fr/website | ||