mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-28 17:05:45 +02:00
from 200 to 1024. Probably this should be dynamically allocated and expanded as needed, as it is holding names that are of increasing length as a hierarchy is descended and the instance prefixes appended to the name.
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
1.5.145
|