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

--- Log closed Tue Apr 18 03:29:16 2017
--- Log opened Tue Apr 18 03:29:24 2017
-!- Irssi: #agda: Total of 117 nicks [0 ops, 0 halfops, 0 voices, 117 normal]18/04 03:29
-!- Irssi: Join to #agda was synced in 136 secs18/04 03:31

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