Ilya Shakhat 7cdf1408f0 Make Gerrit retry counter configurable ... A new config parameter 'gerrit-retry' is introduced with default value 10. Change-Id: I2b7fcd704873cacd147026e9f3bb38e9752cb435		2016-07-04 17:16:52 +03:00
..
_static	Added dummy docs, build process updated	2013-08-30 19:47:44 +04:00
_templates	Added dummy docs, build process updated	2013-08-30 19:47:44 +04:00
_theme	Added dummy docs, build process updated	2013-08-30 19:47:44 +04:00
devref	Workflow documentation is now in infra-manual	2014-12-05 03:30:47 +00:00
tools	Make Gerrit retry counter configurable	2016-07-04 17:16:52 +03:00
userdoc	Add activity log paging parameters to docs	2015-06-22 22:29:16 -07:00
conf.py	Remove unused pngmath Sphinx extension	2016-02-29 20:00:00 +01:00
index.rst	Enable config auto-generation	2015-04-01 18:54:29 +03:00
tools.rst	Enable config auto-generation	2015-04-01 18:54:29 +03:00