Aaron Franke 41e385cfac Document EditorPlugin get_plugin_icon and get_plugin_name ... The return value's type hint is now accurate. (cherry picked from commit 68d73ecf60)		2020-03-06 23:51:25 +01:00
..
classes	Document EditorPlugin get_plugin_icon and get_plugin_name	2020-03-06 23:51:25 +01:00
tools	Improve the doc_status.py console output	2020-02-12 14:59:21 +01:00
Doxyfile
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00