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/

  • Andrei Paskevich's avatar
    use Whyconf.Args in why3ide and why3doc · 241961df
    Andrei Paskevich authored
    - make Whyconf.Args.initialize return the base config file, too.
      This is needed when we change configuration and want to save it.
    - make Main pass "why3 <command>" as argv[0]
    - remove "-version" options from everything but the main executable
    241961df
gconfig.ml 40.3 KB