Bug#810583: libeigen3-doc: Navbar obscures documentation pages in HTML docs

[Kevin Murray]

Hi Anton,

On 09:48 10/01, Anton Gladky wrote:
> Hi Kevin,
> 
> as far as I can see [0] shows the same version which is
> displayed on a local documentation, 3.2.92. The number
> 3.2 will be changed on 3.3 only when a a stable 3.3 will be
> released.

Thanks for looking into this. That makes sense, now you mention it.

Cheers,
Kevin

---
Kevin Murray
0xA4B4EE6A