You need to sign in or sign up before continuing.
Commits · 4614225c2a078b9c656c9fee6eb1ba10867745c4
This project is mirrored from https://gitlab.fachschaften.org/kif/akplanning.git.
Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update .
- May 12, 2022
-
-
Benjamin Hättasch authored
-