Merge branch 'master' into hotfix

This commit is contained in:
Christoph Kluge
2024-04-15 10:39:00 +02:00
81 changed files with 80 additions and 80 deletions

View File

@@ -1,4 +1,4 @@
// Copyright (C) 2022 NHR@FAU, University Erlangen-Nuremberg.
// Copyright (C) NHR@FAU, University Erlangen-Nuremberg.
// All rights reserved.
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file.