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

--- Log closed Sun Jun 04 20:24:47 2017
--- Log opened Sun Jun 04 20:24:54 2017
-!- Irssi: #agda: Total of 118 nicks [0 ops, 0 halfops, 0 voices, 118 normal]04/06 20:24
-!- Irssi: Join to #agda was synced in 117 secs04/06 20:26

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