Petr Mrázek bb599abf59 NOISSUE fix a bug with mutexes on Windows, more warnings		2018-06-28 23:42:44 +02:00
..
gui	NOISSUE fix all sorts of warnings, enable Werror and pedantic	2018-06-28 23:18:45 +02:00
logic	NOISSUE fix a bug with mutexes on Windows, more warnings	2018-06-28 23:42:44 +02:00