0000000000000000000000000000000000000000 160c42e77cda812c70ac40700b95744f6d6e094b Mikołaj Czajkowski <mc@uw.edu.pl> 1509116438 +0200	clone: from https://github.com/czaj/Tools.git
