Christoph Atteneder 30eeb6ec61 Merge pull request #4398 from pedromvpg/header-tweaks ... Header and other visual tweaks		2020-08-24 20:46:47 +02:00
..
package	Bump version number for v1.3.7	2020-07-30 10:19:34 +02:00
src	Merge pull request #4398 from pedromvpg/header-tweaks	2020-08-24 20:46:47 +02:00