Also for stats report which repo and which job number use our setup

[neurodebian.git] / sphinx / _templates / page.html

diff --git a/sphinx/_templates/page.html b/sphinx/_templates/page.html
index 967a0a2f13ffdc1f647933ce7f43d95cc4a34259..a5110a719697fc06f2faf4991a8443a69b5c635b 100644 (file)
--- a/sphinx/_templates/page.html
+++ b/sphinx/_templates/page.html
@@ -4,7 +4,6 @@
 <!-- HEADNOTES -->
 {{ super() }}
 
-
 <h2>Comments</h2>
 <div id="disqus_thread"></div>
 <script type="text/javascript">
@@ -28,4 +27,5 @@ var disqus_shortname = 'neurodebian';
   (document.getElementsByTagName('HEAD')[0] || document.getElementsByTagName('BODY')[0]).appendChild(s);
 }());
 </script>
+
 {% endblock %}