diff --git a/docs/sourcetree.html b/docs/sourcetree.html index 713e25b019c..3f100df49e1 100644 --- a/docs/sourcetree.html +++ b/docs/sourcetree.html @@ -88,7 +88,6 @@ each directory.