From 274fdf5c59871ff93695eb67f200207f07b04613 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Tue, 22 Apr 2014 14:31:59 +0100
Subject: [PATCH] Add a link to the git repository.

---
 template.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/template.html b/template.html
index a5c4951..29d2ff5 100644
--- a/template.html
+++ b/template.html
@@ -392,7 +392,10 @@ to collect a reasonable amount of data.
 </p>
 
 <p>
-FIXME: link to git repo.
+A small (and not really very well organised) git repository containing
+all the data and software written so far for this problem is
+available <a href=".git/">here</a>. (You should be able to copy that
+hyperlink's location and pass it to <code>git clone</code>.)
 </p>
 
 <h2>Table of known values</h2>
-- 
2.30.2