Sat, 23 Dec 2017 20:13:24 +0100 František Kučera move typedefs to a header file