Define long names for summary vectors in JSON files

This commit is contained in:
Magne Sjaastad
2024-10-13 13:28:28 +02:00
parent 0330c3cacd
commit 4719090b5f
11 changed files with 8337 additions and 2129 deletions