Open tychonievich opened 1 year ago
We currently have two documented extension substructures in maximal.ged, but there are various extension features not in that file:
maximal.ged
Do we want to add these? If so, I can work on a PR to add them
Discussed 2023-07-13: probably worth including; we should make a PR and discuss more once we see it
We currently have two documented extension substructures in
maximal.ged
, but there are various extension features not in that file:Do we want to add these? If so, I can work on a PR to add them