diff options
| author | David Brownell <dbrownell@users.sourceforge.net> | 2009-10-07 19:11:37 -0700 |
|---|---|---|
| committer | David Brownell <dbrownell@users.sourceforge.net> | 2009-10-07 19:11:37 -0700 |
| commit | 7252a72465d8776f49fb6bf7b46a3942bbd53ba8 (patch) | |
| tree | f48345f484e579dd6e117559170d2802bcd47b3d /README | |
| parent | 8a162e5e063fbbd6be04568e29633fad8f8b6720 (diff) | |
| download | openocd-7252a72465d8776f49fb6bf7b46a3942bbd53ba8.tar.gz openocd-7252a72465d8776f49fb6bf7b46a3942bbd53ba8.tar.xz | |
Houston, we have Mirror!
Diffstat (limited to 'README')
| -rw-r--r-- | README | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -385,6 +385,11 @@ choice from the main repository: git://openocd.git.sourceforge.net/gitroot/openocd/openocd +You may prefer to use a mirror: + + http://repo.or.cz/r/openocd.git + git://repo.or.cz/openocd.git + Using the GIT command line client, you might use the following command to set up a local copy of the current repository (make sure there is no directory called "openocd" in the current directory): @@ -399,6 +404,7 @@ There is also a gitweb interface, which you can use either to browse the repository or to downlad arbitrary snapshots using HTTP: http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd + http://repo.or.cz/w/openocd.git Snapshots are compressed tarballs of the source tree, about 1.3 MBytes each at this writing. |