Skip to content

GitLab

why3
why3

Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Switch branch/tag
Find file BlameHistoryPermalink
  • Sylvain Dailler's avatar
    Third commit. For saving. · ee0cf016
    Sylvain Dailler authored 
    Change many function from gconfig.ml to remove ref to Whyconf.
Add protocol file.
Add whats needed in an adhoc way.
Need cleaning. Compile but fails.
    ee0cf016
gconfig.mli 4.63 KB