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

--- Log closed Sat Jan 06 02:21:43 2018
--- Log opened Sat Jan 06 02:21:57 2018
-!- Irssi: #agda: Total of 130 nicks [0 ops, 0 halfops, 0 voices, 130 normal]06/01 02:21
-!- Irssi: Join to #agda was synced in 136 secs06/01 02:24

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