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 15, 2022
-
-
Benjamin Hättasch authored
This mostly implements #159 Introduce a new field that denotes the timestamp when the plan was published Introduce admin actions to publish and unpublish the plan and set that timestamp accordingly Prevent other means to change visibility of the plan Use that timestamp to only highlight recent changes when they occurred after the plan was already published
-
