mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-28 17:05:45 +02:00
string for the setup file to be the "trivial default" previously used in case of the setup file not being found. Put a newline around the setup file messages so that they stand out from the rest of the initial output information.