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

--- Log closed Sat Jan 20 22:05:38 2018
--- Log opened Sat Jan 20 22:05:47 2018
-!- Irssi: #agda: Total of 119 nicks [0 ops, 0 halfops, 0 voices, 119 normal]20/01 22:05
-!- Irssi: Join to #agda was synced in 132 secs20/01 22:07

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