Skip to content

Merge versioning and scripts into master

Constantin Pape requested to merge dev into master

This introduces scripts to generate derived data (=tables) and versioning.

Edited by Constantin Pape

Merge request reports