/home/laney/.irssi/irclogs/Freenode/#agda.log-20170630

--- Day changed Thu Jun 29 2017
mietekcar t29/06 00:12
mietekcadr t29/06 00:12
mietekcaddr t29/06 00:12
mietek;>29/06 00:12
Calecadadaddadaadr t29/06 03:04

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!