diff options
Diffstat (limited to 'docutils/docs')
| -rw-r--r-- | docutils/docs/dev/repository.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docutils/docs/dev/repository.txt b/docutils/docs/dev/repository.txt index b48e0f2b0..e838d0241 100644 --- a/docutils/docs/dev/repository.txt +++ b/docutils/docs/dev/repository.txt @@ -37,7 +37,7 @@ analogously. There is a git_ mirror at http://repo.or.cz/docutils.git providing `web access`_ and the base for `creating a local git clone`_. -docutils trunk is cloned hourly to github : +and docutils trunk is cloned hourly to github : https://github.com/live-clones/docutils/tree/master/docutils |