Outdated mirror on gitlab.com #15
Description
An outdated copy of this repo is available on gitlab.com: https://gitlab.com/KeYProject/key-docs
I suggest to either remove the gitlab.com mirror or update it automatically.
{{ message }}
An outdated copy of this repo is available on gitlab.com: https://gitlab.com/KeYProject/key-docs
I suggest to either remove the gitlab.com mirror or update it automatically.