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

--- Log closed Sun Aug 20 11:57:10 2017
--- Log opened Sun Aug 20 12:06:32 2017
-!- Irssi: #agda: Total of 106 nicks [0 ops, 0 halfops, 0 voices, 106 normal]20/08 12:06
-!- Irssi: Join to #agda was synced in 117 secs20/08 12:08

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