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 .
- Oct 31, 2023
-
-
Benjamin Hättasch authored
Add comments Adjust style to python3 conventions Remove unused imports
-
