mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-26 07:56:56 +02:00
on it and fails the first time if it does not exist, requiring running "make" twice (which is not advertised in the build instructions).