mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-10-14 09:01:29 +08:00

- skip existing dataset - add a "-up" option to recompute the dataset (see script header) - allow to specify a filename prefix
- skip existing dataset - add a "-up" option to recompute the dataset (see script header) - allow to specify a filename prefix