Rémi Verschelde cdd63fa872 Merge pull request #53839 from EricEzaM/editor-settings-changed-settings ... Added ability to get list of editor settings changed when saving editor settings. Optimised settings changed notification.		2022-03-05 12:54:38 +01:00
..
classes	Merge pull request #53839 from EricEzaM/editor-settings-changed-settings	2022-03-05 12:54:38 +01:00
tools	Fix typos with codespell	2022-02-10 12:30:19 +01:00
translations	i18n: Sync classref translations with Weblate	2022-02-16 10:09:29 +01:00
class.xsd	Add an XML schema for documentation	2022-02-15 00:03:31 +01:00
Doxyfile
Makefile	i18n: Add --lang option to make_rst.py to write translated headings	2021-12-21 13:47:11 +01:00