Name | Last commit | Last update |
---|---|---|
gradle/wrapper | ||
src | ||
.editorconfig | ||
.gitignore | ||
.gitlab-ci.yml | ||
README.md | ||
build.gradle | ||
gradle.properties.enc | ||
gradlew | ||
gradlew.bat | ||
pubring.gpg.enc | ||
secring.gpg.enc | ||
settings.gradle |
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).
The prob_prolog Gradle build creates its own TLA2B.jar from the released jars on Maven Central, not using this task.
Name | Last commit | Last update |
---|---|---|
gradle/wrapper | ||
src | ||
.editorconfig | ||
.gitignore | ||
.gitlab-ci.yml | ||
README.md | ||
build.gradle | ||
gradle.properties.enc | ||
gradlew | ||
gradlew.bat | ||
pubring.gpg.enc | ||
secring.gpg.enc | ||
settings.gradle |