mercurial/configitems.py
changeset 34585 f28c85e29afc
parent 34584 bf2389b1f15e
child 34586 c364f3f73634
equal deleted inserted replaced
34584:bf2389b1f15e 34585:f28c85e29afc
   734     default=8000,
   734     default=8000,
   735 )
   735 )
   736 coreconfigitem('web', 'prefix',
   736 coreconfigitem('web', 'prefix',
   737     default='',
   737     default='',
   738 )
   738 )
       
   739 coreconfigitem('web', 'push_ssl',
       
   740     default=True,
       
   741 )
   739 coreconfigitem('web', 'refreshinterval',
   742 coreconfigitem('web', 'refreshinterval',
   740     default=20,
   743     default=20,
   741 )
   744 )
   742 coreconfigitem('web', 'stripes',
   745 coreconfigitem('web', 'stripes',
   743     default=1,
   746     default=1,