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		2018-02-27 18:28:47 +00:00
..
dump_config.py
dump_keywords.py
generate_man.py
plugin_formatter.py	docs: Workaround for non-string values (#36720)	2018-02-27 18:28:47 +00:00
testing_formatter.sh