Rémi Verschelde 0f6745b6aa Merge pull request #44188 from madmiraal/tabs-signal-names ... Rename Tabs close and hover signals to tab_closed and tab_hovered		2020-12-08 12:30:49 +01:00
..
classes	Merge pull request #44188 from madmiraal/tabs-signal-names	2020-12-08 12:30:49 +01:00
tools	doc: Fixups to #43419 which added operators in the docs	2020-11-10 15:00:07 +01:00
translations
Doxyfile
Makefile