Petr Mrázek 44381c09d7 NOISSUE more warnings		2018-06-28 23:51:26 +02:00
..
gui	NOISSUE fix all sorts of warnings, enable Werror and pedantic	2018-06-28 23:18:45 +02:00
logic	NOISSUE more warnings	2018-06-28 23:51:26 +02:00