diff options
Diffstat (limited to 'doc/_sphinx')
| -rw-r--r-- | doc/_sphinx/disqus/page.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/_sphinx/disqus/page.html b/doc/_sphinx/disqus/page.html index 0ad5db3b7..56e102044 100644 --- a/doc/_sphinx/disqus/page.html +++ b/doc/_sphinx/disqus/page.html @@ -6,7 +6,6 @@ <div id="disqus_thread"></div> <script type="text/javascript"> var disqus_shortname = 'botan'; - var disqus_developer = 1; // testing mode var disqus_identifier = 'botan_{{ pagename }}'; var disqus_url = 'http://botan.randombit.net/{{ pagename }}.html'; |