Commit 754c74a6 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

fix version number in Chlorine download page

parent 3b178d0b
...@@ -7,7 +7,7 @@ releases: ...@@ -7,7 +7,7 @@ releases:
- number: 1 - number: 1
changelog: 20180502 changelog: 20180502
categories: categories:
- name: Frama-C v17.0 Chlorine - name: Frama-C v17.1 Chlorine
files: files:
- name: Source distribution - name: Source distribution
link: /download/frama-c-Chlorine-20180502.tar.gz link: /download/frama-c-Chlorine-20180502.tar.gz
...@@ -38,4 +38,4 @@ releases: ...@@ -38,4 +38,4 @@ releases:
link: /download/wp-manual-Chlorine-20180501.pdf link: /download/wp-manual-Chlorine-20180501.pdf
- name: E-ACSL manual - name: E-ACSL manual
link: /download/e-acsl/e-acsl-manual_Chlorine-20180501.pdf 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