Re: [PATCH] docs: dev-tools: coccinelle: delete out of date wiki reference

2017-11-15 Thread Masahiro Yamada
2017-11-14 1:50 GMT+09:00 Julia Lawall : > The wiki is no longer available. > > Signed-off-by: Julia Lawall > > --- > > diff --git a/Documentation/dev-tools/coccinelle.rst > b/Documentation/dev-tools/coccinelle.rst > index 37e474f..94f41c2 100644 > --- a/Documentation/dev-tools/coccinelle.rst > +

Re: [PATCH] docs: dev-tools: coccinelle: delete out of date wiki reference

2017-11-13 Thread Julia Lawall
On Tue, 14 Nov 2017, Masahiro Yamada wrote: > Hi Julia, Jon, > > 2017-11-14 1:50 GMT+09:00 Julia Lawall : > > The wiki is no longer available. > > > > Signed-off-by: Julia Lawall > > > > > Jon sent the doc pull request yesterday. > > I will pick this up for Kbuild tree > because I have not sent

Re: [PATCH] docs: dev-tools: coccinelle: delete out of date wiki reference

2017-11-13 Thread Masahiro Yamada
Hi Julia, Jon, 2017-11-14 1:50 GMT+09:00 Julia Lawall : > The wiki is no longer available. > > Signed-off-by: Julia Lawall > Jon sent the doc pull request yesterday. I will pick this up for Kbuild tree because I have not sent pull requests for this MW yet. > > diff --git a/Documentation/dev

[PATCH] docs: dev-tools: coccinelle: delete out of date wiki reference

2017-11-13 Thread Julia Lawall
The wiki is no longer available. Signed-off-by: Julia Lawall --- diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst index 37e474f..94f41c2 100644 --- a/Documentation/dev-tools/coccinelle.rst +++ b/Documentation/dev-tools/coccinelle.rst @@ -33,9 +33,6 @