From 66db04e04e36e37515c6e327d6951cb0015928c3 Mon Sep 17 00:00:00 2001
From: Laurent Bercot <ska-skaware@skarnet.org>
Date: Thu, 14 Apr 2016 12:40:17 +0000
Subject:  - Add mention of the github mirror  - version: 2.1.5.0 (for real)

---
 doc/index.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/index.html b/doc/index.html
index 752899c..dc6a016 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -71,6 +71,9 @@ library. </li>
 <a href="http://git.skarnet.org/cgi-bin/cgit.cgi/execline/">execline
 git repository</a>:
 <pre> git clone git://git.skarnet.org/execline </pre> </li>
+ <li> There's also a
+<a href="https://github.com/skarnet/execline">GitHub mirror</a>
+of the execline git repository. </li>
 </ul>
 
 <h3> Compilation </h3>
-- 
cgit v1.2.3