mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-09-08 12:43:15 +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
|