mirror of
https://github.com/NGSolve/netgen.git
synced 2025-04-05 11:28:27 +05:00

Each of the duplicated header files have an include guard, so including it twice is just a small waste of processing time.
Each of the duplicated header files have an include guard, so including it twice is just a small waste of processing time.