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

--- Log opened Tue Aug 29 09:55:12 2017
-!- Irssi: #agda: Total of 105 nicks [0 ops, 0 halfops, 0 voices, 105 normal]29/08 09:55
-!- Irssi: Join to #agda was synced in 121 secs29/08 09:57

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