On Tuesday, January 29, 2019 01:38 CET, Janek Kozicki <janek_li...@wp.pl> 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 _______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : yade-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp