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

--- Day changed Thu Jul 13 2017
o0o0o0ohello13/07 02:20

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