Petr Mrázek bbb3b3e6f6 NOISSUE tabs -> spaces		2018-07-15 14:51:05 +02:00
..
linux	NOISSUE tabs -> spaces	2018-07-15 14:51:05 +02:00
ubuntu	GH-2268 update the deb package to not depend on latest jre	2018-05-17 23:14:12 +02:00