mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-10-13 00:21:29 +08:00

already committed part of that change so i commit the rest even if it's not much, so building docs from trunk works again.
already committed part of that change so i commit the rest even if it's not much, so building docs from trunk works again.