Code

Adds missing init file#849

Code

Merged

vulder merged 2 commits intovara-devse-sic/VaRA-Tool-Suite:vara-devfrom f-InitTsUtisse-sic/VaRA-Tool-Suite:f-InitTsUtisCopy head branch name to clipboardOct 23, 2023

Commits

Commits on Oct 20, 2023

• Adds missing init file

  vulder

  committed
  2d01237

Commits on Oct 23, 2023

• Merge branch 'vara-dev' into f-InitTsUtis

  vulder

  authored
  53ca783