Merge branch 'dsp5680xx_cherry' of git://repo.or.cz/openocd/dsp568013 into HEAD
authorØyvind Harboe <oyvind.harboe@zylin.com>
Thu, 11 Aug 2011 14:23:15 +0000 (16:23 +0200)
committerØyvind Harboe <oyvind.harboe@zylin.com>
Thu, 11 Aug 2011 14:23:15 +0000 (16:23 +0200)

Trivial merge