You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Dag Wieers 50e989f906 docs: Workaround for non-string values (#36720) ... * Workaround for non-string values So I think the proper fix should go into html_ify, which should convert any value into a string, rather than expecting strings only. * My preferred solution		8 years ago
..
dump_config.py	Fix py3 docs build (#33345)	9 years ago
dump_keywords.py	Fix various RST warnings (#34084)	9 years ago
generate_man.py	Fix build on Python 3.x by using sys.maxsize. (#30424)	9 years ago
plugin_formatter.py	docs: Workaround for non-string values (#36720)	8 years ago
testing_formatter.sh	…