Bojidar Marinov 0c4c36d823 Add default values to the editor help, docs, and generated RST ... Also, make spacing of "=" in the editor help a bit more consistent. Closes #16086		2019-06-27 18:29:35 +03:00
..
doc_merge.py	…
doc_status.py	doc: Drop unused <demos> tag	2019-04-19 11:03:46 +02:00
makerst.py	Add default values to the editor help, docs, and generated RST	2019-06-27 18:29:35 +03:00