On Wed, 22 May 2019 at 16:55, Simon Urbanek wrote:
>
> More to the point: the custom search function is currently broken anyway - it
> just gives me 404.
>
> Should we just get rid of it?
Does anyone actually use it? Are there logs available?
Colin
>If people want to use Google they can just
> Simon Urbanek
> on Wed, 22 May 2019 11:54:49 -0400 writes:
> More to the point: the custom search function is currently broken anyway
- it just gives me 404.
> Should we just get rid of it? If people want to use Google they can just
say
> site:developer.r-project.org
More to the point: the custom search function is currently broken anyway - it
just gives me 404.
Should we just get rid of it? If people want to use Google they can just say
site:developer.r-project.org foo
> On May 22, 2019, at 1:08 AM, Paul Menzel wrote:
>
> [Please CC me on replies, as
