Rémi Verschelde 9cd62741bb Merge pull request #66839 from aaronfranke/editor-prop-hide-slider ... Fix `hide_slider` vs `no_slider` inconsistency in editor property code		2022-10-05 08:47:06 +02:00
..
classes	Merge pull request #66839 from aaronfranke/editor-prop-hide-slider	2022-10-05 08:47:06 +02:00
tools	ci: add Python static analysis check via mypy	2022-09-30 19:03:17 +07:00
translations	ci: add Python static analysis check via mypy	2022-09-30 19:03:17 +07:00
class.xsd
Doxyfile
Makefile