diff -r a4af502191d5 -r d7c33cbdce8b web/webconfig.py
--- a/web/webconfig.py	Thu Jan 29 10:54:41 2015 +0100
+++ b/web/webconfig.py	Tue Mar 31 10:22:05 2015 +0200
@@ -124,16 +124,6 @@
           'where the cubicweb web server is listening on port 8080.',
           'group': 'main', 'level': 3,
           }),
-        ('https-deny-anonymous',
-         {'type': 'yn',
-          'default': False,
-          'help': 'Prevent anonymous user to browse through https version of '
-                  'the site (https-url). Login form will then be displayed '
-                  'until logged',
-          'group': 'web',
-          'level': 2
-         }
-          ),
         ('auth-mode',
          {'type' : 'choice',
           'choices' : ('cookie', 'http'),