From 3dceed1486cbf4f8dda6720abc2a6cd59ded1e89 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Fri, 9 May 2014 06:53:41 +0000 Subject: [PATCH] Add link to IRC logs The logs are simply dumped there in raw form, but at least having a link should make them Google-indexed. One day we'll put something there with an interface. --- index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/index.html b/index.html index c4291c9ac..75c5eb0b0 100644 --- a/index.html +++ b/index.html @@ -289,6 +289,7 @@ The printed book contains all the material in the tutorial

We run the IRC channel #gf on the Freenode network, where you are welcome to look for help with small questions or just start a general discussion. +IRC logs (in raw format) are available here. If you have a larger question which the community may benefit from, we recommend you ask it on the mailing list.