diff --git a/Installation/changes.html b/Installation/changes.html index 811f0ade56c..30b5872fe7a 100644 --- a/Installation/changes.html +++ b/Installation/changes.html @@ -117,10 +117,8 @@ and src/ directories).
src/