Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content

[WIP] Import seitosh

we7765 requested to merge (removed):import_Seitosh into master

A recent vendor drop provides the current Seitosh source code as used within DENISE subdirectory contrib. The new vendor import should be tested (and appropriatly be adjusted) on branch import_Seitosh. If this works well, import_Seitosh should be merged into master of DENISE.

See commit messages for details on how contents of import_Seitosh were constructed.

Merge request reports