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

--- Log closed Sat May 27 23:57:46 2017
--- Log opened Sat May 27 23:57:55 2017
-!- Irssi: #agda: Total of 120 nicks [0 ops, 0 halfops, 0 voices, 120 normal]27/05 23:57
-!- Irssi: Join to #agda was synced in 124 secs27/05 23:59

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