diff --git a/Installation/changes.html b/Installation/changes.html index 26cfb079cae..ec7db02e212 100644 --- a/Installation/changes.html +++ b/Installation/changes.html @@ -231,11 +231,10 @@ and src/ directories).