From 35563ebe73cd1f6bca1b6ed788b495d7a1e4bfd9 Mon Sep 17 00:00:00 2001 From: Clement Jamin Date: Tue, 24 Oct 2017 14:48:44 +0200 Subject: [PATCH] Fix numbered list --- Installation/changes.html | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/Installation/changes.html b/Installation/changes.html index 99096ba6b1f..9e31e8d04ec 100644 --- a/Installation/changes.html +++ b/Installation/changes.html @@ -191,7 +191,8 @@ and src/ directories).