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).