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