Open tychonievich opened 3 months ago
Add the extensions from #89's extensions.ged to maximal.ged (changing identifiers to avoid collisions)
Add the extensions from #89's extensions.ged to maximal.ged (changing identifiers to avoid collisions)