doc: update to new sourceforge git url
commit0355d987938d57fcb50b2a9b39b0f89495403357
authorSpencer Oliver <spen@spen-soft.co.uk>
Thu, 15 Nov 2012 23:05:13 +0000 (15 23:05 +0000)
committerSpencer Oliver <spen@spen-soft.co.uk>
Fri, 16 Nov 2012 10:32:29 +0000 (16 10:32 +0000)
tree5e2fe14799f90b0ef641e8438148a7ba54095bcb
parent08ddb19fd3a708d21057c88e8b86215e04c781ec
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