Skip to content

GitLab

Maj terminée. Pour consulter les releases notes associées voici les liens :
https://about.gitlab.com/releases/2021/05/14/gitlab-13-11-4-released/
https://about.gitlab.com/releases/2021/05/22/gitlab-13-12-released/
https://about.gitlab.com/releases/2021/05/25/gitlab-13-12-1-released/
https://about.gitlab.com/releases/2021/06/01/security-release-gitlab-13-12-2-released/
https://about.gitlab.com/releases/2021/06/07/gitlab-13-12-3-released/
https://about.gitlab.com/releases/2021/06/14/gitlab-13-12-4-released/
https://about.gitlab.com/releases/2021/06/21/gitlab-13-12-5-released/
https://about.gitlab.com/releases/2021/07/01/security-release-gitlab-14-0-2-released/
https://about.gitlab.com/releases/2021/07/05/gitlab-13-12-7-released/

Switch branch/tag
Find file BlameHistoryPermalink
  • Johannes Kanig's avatar
    Committing why3server code · 98f2682f
    Johannes Kanig authored 
    For the moment, new API functions are introduced. If existing API
functions are called, the why3server is not used.
    98f2682f
arraylist.c 1.53 KB