Fri, 22 Dec 2017 18:14:40 +0100 František Kučera comment, rename, reformat
Fri, 22 Dec 2017 18:09:58 +0100 František Kučera GOTO_COMPARE