chiark / gitweb /
Add a link to the git repository.
authorSimon Tatham <anakin@pobox.com>
Tue, 22 Apr 2014 13:31:59 +0000 (14:31 +0100)
committerSimon Tatham <anakin@pobox.com>
Tue, 22 Apr 2014 13:31:59 +0000 (14:31 +0100)
template.html

index a5c4951..29d2ff5 100644 (file)
@@ -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>