mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-10-09 22:56:31 +08:00

repair some damage made by the automatic search and replace used in the prefix->namespace move
repair some damage made by the automatic search and replace used in the prefix->namespace move