src · a96a70b06ad3e49230fda5c5db5647f96efd0815 · general / stups / tla2bAST

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

An error occurred while fetching folder content.

Compare

translating all necessary TLA+ definitions

hansen authored 9 years ago

a96a70b0

History

a96a70b0 9 years ago

History

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Name	Last commit	Last update
..

Admin message