Rémi Verschelde 80dacac90c Merge pull request #65437 from YuriSizov/theme-gui-renames ... Improve naming of theme properties throughout GUI code		2022-09-07 08:58:00 +02:00
..
classes	Merge pull request #65437 from YuriSizov/theme-gui-renames	2022-09-07 08:58:00 +02:00
tools	[doc] Use f-strings throughout make_rst.py	2022-08-30 13:02:25 -04:00
translations
class.xsd
Doxyfile
Makefile	[Web] Rename JavaScript platform to Web.	2022-08-29 11:52:00 +02:00