Micky 55dff09e93 Rename EditorPlugin.*_PROPERTY_EDITOR_* to *_INSPECTOR_* ... The name "Inspector" has been adopted for years and is thus more familiar.		2022-08-13 12:59:03 +02:00
..
classes	Rename EditorPlugin.*_PROPERTY_EDITOR_* to *_INSPECTOR_*	2022-08-13 12:59:03 +02:00
tools	Rename the argument tag to param in XML documentation	2022-08-08 22:34:31 +03:00
translations	i18n: Sync classref translations with Weblate	2022-08-05 03:32:23 +02:00
class.xsd	Rename the argument tag to param in XML documentation	2022-08-08 22:34:31 +03:00
Doxyfile	Replace HTTP links with HTTPS for sites with HTTPS versions	2021-08-22 20:13:11 -05:00
Makefile	i18n: Add --lang option to make_rst.py to write translated headings	2021-12-21 13:47:11 +01:00