diff --git a/src/browser/workbench-build.html b/src/browser/workbench-build.html index 03a1447a7..389fe42bd 100644 --- a/src/browser/workbench-build.html +++ b/src/browser/workbench-build.html @@ -37,7 +37,7 @@ - + diff --git a/src/browser/workbench.html b/src/browser/workbench.html index 940c6cd76..b41b06d95 100644 --- a/src/browser/workbench.html +++ b/src/browser/workbench.html @@ -37,7 +37,7 @@ - +