Skip to content
Snippets Groups Projects
Commit bfce0192 authored by Augustin Lemesle's avatar Augustin Lemesle
Browse files

fix in versions

parent f6386bf0
No related branches found
No related tags found
1 merge request!44Creates a CSS for tiles and removes old stuff
......@@ -33,7 +33,7 @@ releases:
- name: WP manual
link: /download/wp-manual-Magnesium-20151002.pdf
- name: External Plug-ins
file:
files:
- name: E-ACSL version 0.6
link: /download/e-acsl/e-acsl-0.6.tar.gz
---
\ No newline at end of file
......@@ -33,7 +33,7 @@ releases:
- name: WP 0.8 manual
link: /download/wp-manual-Neon-20140301.pdf
- name: External Plug-ins
file:
files:
- name: E-ACSL version 0.4.1
link: /download/e-acsl/e-acsl-0.4.1.tar.gz
---
\ No newline at end of file
......@@ -6,7 +6,7 @@ releases:
- number: 0
changelog: 20111001
categories:
- name: Frama-C v18.0 Argon
- name: Frama-C v7.0 Nitrogen
files:
- name: Source distribution
link: /download/frama-c-Nitrogen-20111001.tar.gz
......
......@@ -33,7 +33,7 @@ releases:
- name: WP manual
link: /download/wp-manual-Silicon-20161101.pdf
- name: External Plug-ins
file:
files:
- name: E-ACSL version 0.8
link: /download/e-acsl/e-acsl-0.8.tar.gz
---
\ No newline at end of file
......@@ -33,7 +33,7 @@ releases:
- name: WP manual
link: /download/wp-manual-Sodium-20150201.pdf
- name: External Plug-ins
file:
files:
- name: E-ACSL version 0.5
link: /download/e-acsl/e-acsl-0.5.tar.gz
---
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment