From a0aa86b97c6daa7f8d990024633e0dcbeed92630 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes
Date: Wed, 16 Jul 2014 10:02:34 +0200
Subject: [PATCH] doc
---
website/download.html | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/website/download.html b/website/download.html
index cbb250ce..42e87615 100644
--- a/website/download.html
+++ b/website/download.html
@@ -117,12 +117,12 @@ is probably no necessity to upgrade anyway.