Closed balazsdukai closed 1 year ago
Makes it more explicit what is an Extension for, and what parts of CityJSON can be changed with an Extension.
However, #144 should be resolved before merging this.
Makes it more explicit what is an Extension for, and what parts of CityJSON can be changed with an Extension.
However, #144 should be resolved before merging this.