GUDHI/gudhi-devel

Re-generate doxygen headers

VincentRouvreau opened this issue a year ago · 1 comments

VincentRouvreau commented a year ago

gudhi-devel/src/common/doc/header.html

Line 4 in 7fb68da

<html xmlns="http://www.w3.org/1999/xhtml" class="no-js" lang="en">

http://www.w3.org/1999/xhtml is no more reachable.

VincentRouvreau commented 8 months ago

This is not an issue, this link is reachable, my bad.