doc: update to new sourceforge git url
authorSpencer Oliver <spen@spen-soft.co.uk>
Thu, 15 Nov 2012 23:05:13 +0000 (23:05 +0000)
committerKeith Packard <keithp@keithp.com>
Sat, 13 Apr 2013 06:34:43 +0000 (23:34 -0700)
commit50ddc27ca263b75fcd0c35d0035acc041f92fb82
treeae851fccacd84ce37376ecd32c9f296923c74367
parent7e709eab1cb6ac73dc6e5feae5b1b9387d6e91a5
doc: update to new sourceforge git url

The new sourceforge platform also supports http access, so use that rather
then repo.or.cz.

Change-Id: Ica89d9475847a2095c179b240053145795549802
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/982
Tested-by: jenkins
HACKING