search

GUDHI / gudhi-devel

The GUDHI library is a generic open source C++ library, with a Python interface, for Topological Data Analysis (TDA) and Higher Dimensional Geometry Understanding.
https://gudhi.inria.fr/
MIT License
254 stars 65 forks source link

Re-generate doxygen headers #986

Closed VincentRouvreau closed 5 months ago

VincentRouvreau commented 12 months ago

https://github.com/GUDHI/gudhi-devel/blob/7fb68dacfdabd39c060cd5dda9d8f5fa0aa1b250/src/common/doc/header.html#L4

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

VincentRouvreau commented 5 months ago

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