mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-23 01:21:42 +00:00
Internal headers are no longer allowed as of https://gitlab.com/libeigen/eigen/-/merge_requests/631. Based on benchmarking I conducted in that thread, there doesn't seem to be a performance penalty for including the full headers anymore.