Commit 01100b4b authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

Merge branch 'fix/chlorine-number-download' into 'master'

fix version number in Chlorine download page

See merge request !115
parents 3b178d0b 754c74a6
Pipeline #35686 passed with stage
in 1 minute and 25 seconds
......@@ -7,7 +7,7 @@ releases:
- number: 1
changelog: 20180502
categories:
- name: Frama-C v17.0 Chlorine
- name: Frama-C v17.1 Chlorine
files:
- name: Source distribution
link: /download/frama-c-Chlorine-20180502.tar.gz
......@@ -38,4 +38,4 @@ releases:
link: /download/wp-manual-Chlorine-20180501.pdf
- name: E-ACSL manual
link: /download/e-acsl/e-acsl-manual_Chlorine-20180501.pdf
---
\ No newline at end of file
---
Markdown is supported
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