Michele Guerini Rocco 802a528d38 Merge pull request #71079 from gnidorah/theming ... Theming options for Gtk and Qt		2020-02-21 18:52:52 +01:00
..
manual	Merge pull request #71079 from gnidorah/theming	2020-02-21 18:52:52 +01:00
varlistentry-fixer.rb
xmlformat.conf	doc: Disable wrapping source	2019-09-18 21:17:52 +02:00