1 files changed, 1 insertions, 1 deletions

diff --git a/develop/manhole.html b/develop/manhole.html

index a01eb526e7..287935fec0 100644
--- a/develop/manhole.html
+++ b/develop/manhole.html
@@ -270,4 +270,4 @@ parts of the process.</p>
         <script type="text/javascript" src="docs/website_files/version-picker.js"></script>
         <script type="text/javascript" src="docs/website_files/version.js"></script>
     </body>
-</html>
\ No newline at end of file
+</html>