diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 3 |
1 files changed, 3 insertions, 0 deletions
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> |