Rémi Verschelde 1bed4c6783 Merge pull request #9629 from kubecz3k/tabs-addons ... Tabs enhancements: get_tab_rect(), move_tab()		2017-07-18 18:12:26 +02:00
..
classes.xml	Merge pull request #9629 from kubecz3k/tabs-addons	2017-07-18 18:12:26 +02:00