0000000000000000000000000000000000000000 999c66dbc056d72f1bc7cc2914fa997f5eb5b245 Michal Zopp <xzopp@fi.muni.cz> 1600622502 +0200	update by push
999c66dbc056d72f1bc7cc2914fa997f5eb5b245 64222a9fb27dfec6b41965204557dcad17fefacd Michal Zopp <xzopp@fi.muni.cz> 1602159523 +0200	update by push
64222a9fb27dfec6b41965204557dcad17fefacd 6dd18cf157783182377e3faafb527c0b9c5252e5 Michal Zopp <xzopp@fi.muni.cz> 1609431674 +0100	update by push
