Skip to content
Snippets Groups Projects
Commit 9a7f0972 authored by David Bühler's avatar David Bühler
Browse files

Sets version to 19.0 for the Potassium release.

parent 136b4b31
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ALL_VERSIONS
+ 1
− 0
View file @ 9a7f0972
Version number Date of release Notes Version number Date of release Notes
============== =============== ===== ============== =============== =====
19.0 (Potassium) 2019, June 21
18.0 (Argon) 2018, November 29 18.0 (Argon) 2018, November 29
Chlorine-20180502 2018, July 06 Bug fixed Chlorine-20180502 2018, July 06 Bug fixed
Chlorine-20180501 2018, June 01 Chlorine-20180501 2018, June 01
......
VERSION
+ 1
− 1
View file @ 9a7f0972
19.0-beta2 19.0
\ No newline at end of file \ No newline at end of file
opam/opam
+ 1
− 1
View file @ 9a7f0972
opam-version: "2.0" opam-version: "2.0"
name: "frama-c" name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C" synopsis: "Platform dedicated to the analysis of source code written in C"
version: "19.0.beta2" version: "19.0"
maintainer: "francois.bobot@cea.fr" maintainer: "francois.bobot@cea.fr"
authors: [ authors: [
"Michele Alberti" "Michele Alberti"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment