Skip to content

Merge branch 'master' of https://github.com/dainst/idai-field #1684

Merge branch 'master' of https://github.com/dainst/idai-field

Merge branch 'master' of https://github.com/dainst/idai-field #1684

Build (Linux)

succeeded Jul 19, 2024 in 6m 43s