Skip to content

GitLab

Mise à jour terminée. Pour connaître les apports de la version 13.10.3 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/03/22/gitlab-13-10-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/
https://about.gitlab.com/releases/2021/04/01/gitlab-13-10-2-released/
https://about.gitlab.com/releases/2021/04/14/security-release-gitlab-13-10-3-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