yade-dev team mailing list archive

["Bruno Chareyre" <bruno.chareyre@xxxxxxxxxxxxxxx>]

On Tuesday, January 29, 2019 01:38 CET, Janek Kozicki <janek_listy@xxxxx> wrote:

>   grep github . -irn --exclude ChangeLog --color
>
> there are still  some mentions of github in documentation.

Ok, I'll check.


> I don't know anything about the searchbox yet.

Rémi's magic just fixed it in sphinx. Good luck to see the change, it is hidden by autoformatting. ;P
https://gitlab.com/yade-dev/trunk/commit/07e258dfea1858771c9f31f9ad221091d9b96ed1

Cheers

Bruno