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

--- Log closed Mon Jun 05 00:53:09 2017
--- Log opened Mon Jun 05 00:53:17 2017
-!- Irssi: #agda: Total of 118 nicks [0 ops, 0 halfops, 0 voices, 118 normal]05/06 00:53
--- Log closed Mon Jun 05 01:00:25 2017
--- Log opened Mon Jun 05 01:03:25 2017
-!- Irssi: #agda: Total of 118 nicks [0 ops, 0 halfops, 0 voices, 118 normal]05/06 01:03
-!- Irssi: Join to #agda was synced in 118 secs05/06 01:05

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